Stars
5
stars
written in Scheme
Clear filter
An R6RS framework for creating compilers that target C.
miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek.