idris-containers

Various data structures for use in the Idris Language.

Archived

95 stars

6 watching

21 forks

Language: Idris

last commit: about 5 years ago

Linked from 1 awesome list

Backlinks from these awesome lists:

joaomilho/awesome-idris