2 ms·
> Yeah, though Idris I think will soon become the “reasonable trade-off” language That would be cool. Don't know anything about Epigram though. Dependent typ
by tome 13y ago
> Yeah, though Idris I think will soon become the “reasonable trade-off” language
That would be cool.
Don't know anything about Epigram though. Dependent types is still firmly on my todo list.
- jonsterling 13y agoCome hang out with us on freenode (#agda, #coq, #idris) and we'll try to answer any questions you have about dependent types and such!