Term-Lisp (opens in new tab)

(github.com)

3 pointsartsi0m1y ago1 comments

1 comments

artsi0mOP1y ago

term-lisp is a language for term list processing with first-class pattern matching, inspired by Pie, Haskel, Agda et al

j / k navigate · click thread line to collapse

(github.com)

3 pointsartsi0m1y ago1 comments

artsi0mOP1y ago

term-lisp is a language for term list processing with first-class pattern matching, inspired by Pie, Haskel, Agda et al

j / k navigate · click thread line to collapse