Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Lawvere

< >

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

#1307on PLDB 3Years Old
Download source code:
git clone https://github.com/jameshaydon/lawvere
Source Code

Lawvere - a categorical programming language with effects


- Build the next great programming language · Add · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements

Built with Scroll v164.7.0