PLDB Measures Concepts

Lawvere

< >

Lawvere is a programming language created in 2021 by James Henri Haydon.

Source code:

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

#1660on PLDB

3Years Old

Lawvere - a categorical programming language with effects

Lawvere is developed on GitHub and has 208 stars
Lawvere first developed in https://github.com/jameshaydon/lawvere/issues
Read more about Lawvere on the web: 1.

PLDB - Build the next great programming language · Search · Add Language · Features · Creators · Resources · About · Blog · Acknowledgements · Queries · Stats · Sponsor · Day 605 · feedback@pldb.io · Logout