Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for reflection idris
idris
x
reflection
x
3 search results found
Idris2 Elab Util
⭐
73
Utilities and documentation for exploring idirs2's new elaborator reflection.
Ringidris
⭐
18
Ring solver for Idris
Idris2 Elab Deriving
⭐
9
implementation deriving for idris2
Related Searches
Java Reflection (460)
Types Idris (46)
Idris Dependent Types (36)
Haskell Idris (31)
Language Idris (16)
Idris Idris2 (15)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.