Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for recursion agda
agda
x
recursion
x
2 search results found
Firstorderunificationinagda
⭐
6
Implementation of McBride's "First-order unification by structural recursion" in Agda.
Beauty And The Beast
⭐
5
A toy supercompiler for STLC with numbers and lists
Related Searches
Types Agda (76)
Haskell Agda (72)
Agda Type Theory (44)
Emacs Agda (29)
Calculus Agda (29)
Agda Dependent Types (27)
Coq Agda (27)
Programming Agda (24)
Paper Agda (24)
Standard Library Agda (21)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.