A small language to enumerate all the states a system can be in
Primary LanguageHaskellOtherNOASSERTION