plt

A compiler for a type inferred, functional language with adts, records and pattern matching, targeting JavaScript https://gilmi.gitlab.io/strema

a silly little programming language inspired by datalog.

Experiments and studies with lambda calculus