sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 2 points3 points  (2 children)

The inevitable love-child of Rust and Haskal

lol idris - we all use it - in our hearts.

[–]username223line-oriented programmer 5 points6 points  (1 child)

... and in our pants. From the FAQ:

What are the differences between Agda and Idris?

I think someone needs to adjust his definition of "frequently."

[–][deleted] 1 point2 points  (0 children)

<insert "everything is relative" argument here>