Installation:
idris2 --install trifunctors.ipkgUsage:
idris2 -p trifunctors my_mistakes_that_makes_me_grow.idr-
Notifications
You must be signed in to change notification settings - Fork 1
Trifunctors in Idris
License
lemastero/Idris-Trifunctors
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Trifunctors in Idris