Miscellaneous Idris functions/types/etc
$ idris --build bg-idris-misc.ipkg $ idris --install bg-idris-misc.ipkg ... $ idris Foo.idr -p bg-idris-misc
NOTE to install cabal install idris --constraint='blaze-markup <0.6.3
-
Notifications
You must be signed in to change notification settings - Fork 0
bgoodspeed/idris-misc
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Miscellaneous Idris functions/types/etc
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published