Various Idris utility libraries. No guarantees. Some may end up in the stdlib someday, while others may be useless.
-
Notifications
You must be signed in to change notification settings - Fork 4
Various Idris utility libraries. No guarantees. Some may end up in the stdlib someday, while others may be useless.
License
david-christiansen/idris-utils
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Various Idris utility libraries. No guarantees. Some may end up in the stdlib someday, while others may be useless.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published