Wikipedia Pages Linking to oxij.org
Agda (programming language)
View on Wikipedia
1 links on this page
Loading...
Wikipedia Links
http://oxij.org/note/BrutalDepTypes/
Anchor text: Brutal {{bracket|Meta}}Introduction to Dependent Types in Agda