-
Notifications
You must be signed in to change notification settings - Fork 0
Implementing the paper "Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically" by Tarmo Uustalu and Varmo Vene in Agda
Reijix/agda-categorical-recursion
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
About
Implementing the paper "Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically" by Tarmo Uustalu and Varmo Vene in Agda
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published