|
|
|
|
|
|
by jonsterling
4719 days ago
|
|
|
Goodness, most of those languages (with the exception of Forth and possibly Lisp) are really only interesting for historical reasons. If you're interested in seeing where the wind is blowing, you should have a look at Agda (http://wiki.portal.chalmers.se/agda/). If you have any questions, come talk to us on freenode/#agda! |
|
|