undefined | Better HN

0 pointstome12y ago0 comments

> 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.

0 comments

Come hang out with us on freenode (#agda, #coq, #idris) and we'll try to answer any questions you have about dependent types and such!

j / k navigate · click thread line to collapse

0 pointstome12y ago0 comments

> 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.

Come hang out with us on freenode (#agda, #coq, #idris) and we'll try to answer any questions you have about dependent types and such!

j / k navigate · click thread line to collapse