Top 1,000 Features Creators Resources Blog Explore Download
GitHub icon

Lambda Diagrams

< >
home edit

Lambda Diagrams is a notation created in 2014 by John Tromp.

#3372on PLDB 10Years Old


View source

- Build the next great programming language 路 About 路 Acknowledgements 路 Extensions 路 Day 624 路 feedback@pldb.io