RosettaGit
Tasks
Drafts
Languages
Tags
Lolli is a logic programming language based on a fragment of linear logic.