idris-type-providers

Type provider library for Idris

GitHub
91 stars
9 watching
6 forks
Language: Idris
last commit: almost 7 years ago
Linked from 1 awesome list


Backlinks from these awesome lists: