Projects with this topic
Sort by:
-
A compiler for a type inferred, functional language with adts, records and pattern matching, targeting JavaScript https://gilmi.gitlab.io/strema
Updated -
a silly little programming language inspired by datalog.
Updated -
Experiments and studies with lambda calculus
Updated
