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

typedefs

< >
home edit

typedefs is a grammar language created in 2017.

#4652on PLDB 7Years Old
Homepage

Typedefs is a programming language agnostic, algebraic data type definition language, written in Idris.


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

Built with Scroll v154.3.0