A compiler for a linearly-typed functional programming language, written in Prolog.
Primary LanguageProlog