/egison-scheme

Scheme macros for non-linear pattern matching with backtracking for non-free data types

Primary LanguageSchemeMIT LicenseMIT

Watchers