I’m in. Can I email you a broken Coq program?
-
-
-
I'm specifically trying to avoid Coq right now because it's too commercial. Also, Coq is much different than Idris and Agda insofar as how you typically prove things.
-
I can send you a broken AGDA program too... I started reading the Idris book a while ago, but paused to check out The Little Typer.
End of conversation
New conversation -
-
-
/me waves hello from Kauai
-
Maybe I can swing over there some meetup. It's 100 miles from my house. :)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.