ceberly/imp

A relational programming language built around incremental maintenance.

Home to various experiments in building a relational programming environment.

See https://scattered-thoughts.net/writing/imp-intro/ for details.