Lambda the Ultimate

type	title	author	last post
Story	Milawa on Jitawa: a Verified Theorem Prover HOL4 and the de Bruijn criterion by michaeln	Paul Snively	2012-02-29 22:34
Story	Gilad Bracha on tuples Hamlet prints 5, I'm pleased by michaeln Byproduct! by michaeln	Ehud Lamm	2007-03-12 11:18
Story	PVS goes open source One categorisation of these by michaeln	Ehud Lamm	2006-12-12 04:36

---

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