Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Agda thread!!1

Name: Anonymous 2012-03-09 17:48

Hey guise

Agda thread

It's like haskell but more hipster
But mixfix is an insanely powerful tool.

Name: Anonymous 2012-03-09 19:16

I have tried reading about Per Martin Löf's type theory but never got anywhere. After my finals I think I'll try again.

I reckon that it's not Turing complete then? It's sold as a proof assistant, what exactly is possible to do in Agda?
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode -