I
idris

Projects with this topic

I

gemmaro / idris2-charprop

idris characters properties
+ 3 more

0

Updated Sep 23, 2022

0 0 0 0

Updated Sep 23, 2022
I

gemmaro / Idris 2 HTML entity

idris HTML entity

0

Updated Sep 20, 2022

0 0 0 0

Updated Sep 20, 2022
G

Drill Bear / gx-idris

gx handler for Idris packages

gx ipfs idris

1

Updated Aug 18, 2017

1 0 0 0

Updated Aug 18, 2017
Eric Bailey / Type-Driven Development with Idris

Solutions to exercises from Type-Driven Development with Idris by Edwin Brady, and tests thereof.

idris type-driven ... dependent types
+ 2 more

0

Updated Nov 30, 2016

0

Updated Nov 30, 2016