egison / egison-scheme

Scheme macros for non-linear pattern matching with backtracking for non-free data types
28Updated 5 years ago

Related projects

Alternatives and complementary repositories for egison-scheme