/four

a prototypical solver for system FOUR

Primary LanguageHaskellMIT LicenseMIT