This is a collection of purely functional data structures implemented in Idris, some of them adapted from Chris Okasaki's book. Where possible, I tried to use size-indexed types.
Compatibility: Requires Idris >= 0.11
-
Notifications
You must be signed in to change notification settings - Fork 1
Purely functional data structures in Idris
License
timjb/idris-pfds
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Purely functional data structures in Idris
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published