4 ms·
term-lisp is a language for term list processing with first-class pattern matching, inspired by Pie, Haskel, Agda et al
by artsi0m 2y ago
term-lisp is a language for term list processing with first-class pattern matching, inspired by Pie, Haskel, Agda et al