search

typedefs / pm

project management
GNU Affero General Public License v3.0
0 stars 0 forks source link

Idris type provider #3

Open wires opened 6 years ago

wires commented 6 years ago

We want to be able to take a type definition and get an Idris data type out of it.

http://docs.idris-lang.org/en/latest/guides/type-providers-ffi.html

example

https://github.com/david-christiansen/idris-type-providers/blob/master/Providers/CSV.idr