idris-containers in joaomilho/awesome-idris

Various data structures for use in the Idris Language.

updated at July 25, 2023, 1:54 p.m.

6 +0

95 +0

21 +0

idris-config in joaomilho/awesome-idris

Parsers for various configuration files written in Idris.

updated at Jan. 28, 2023, 9:33 p.m.

4 +0

19 +0

7 +0