Geek Repo
Github PK Tool:Github PK Tool
Lollimon, a monadic concurrent linear logic programming language
An implementation of substructural intuitionistic logic focused on forward chaining
Original LLF implementation (typechecher + operational semantics) from 1997