-
@elementus.io
- Los Angeles, CA
- https://gdevanla.github.io
- @grdvnl
Stars
2
stars
written in Idris
Clear filter
Parsers for various configuration files written in Idris.
gdevanla / TypeDD-Samples
Forked from edwinb/TypeDD-SamplesSample code from "Type Driven Development with Idris"