Lawvere - Programming language

#1290on PLDB

3Years Old

Download source code:

git clone https://github.com/jameshaydon/lawvere

Lawvere - a categorical programming language with effects

Tags: programming language
Lawvere is developed on GitHub and has 265 stars
Early development of Lawvere happened in https://github.com/jameshaydon/lawvere/issues
Lawvere is written in Haskell, Nix, Markdown, YAML, JavaScript, Bourne shell, Lisp, JSON, TOML, XML
Read more about Lawvere on the web: 1.