Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
Egison is a purely functional programming language with non-linear pattern-matching against non-free data types. We can directly pattern-match against a wide range of data types such as lists, mult…
A Ruby gem for non-linear pattern-matching with backtracking
The website of Egison
Website of Satoshi Egi
Scheme compiler implemented in 2008 with friends
English Writing Support System on Emacs
162 contributions in the last year
Press h to open a hovercard with more details.