This is my playground for exploring type class deriving using Idris elaborator reflection.
More to come.
This code requires at least Idris 0.9.18, and probably some newer Git version. You’ve been warned.
forked from david-christiansen/derive-all-the-instances
-
Notifications
You must be signed in to change notification settings - Fork 0
Work on type class deriving with elaboration reflection
License
taktoa/derive-all-the-instances
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Work on type class deriving with elaboration reflection
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Idris 100.0%