Lambda the Ultimate

type	title	author	last post
Forum topic	A glimpse into a new general purpose programming language under development at Microsoft I think you're right that by Andy Gocke	Charles Torre	2014-01-27 05:08
Forum topic	Print release of a textbook on the Coq proof assistant Pierce's too by Andy Gocke	Adam Chlipala	2014-01-15 13:50

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation