Lambda the Ultimate

type	title	author	last post
Story	ACL2 in DrScheme More or less, yes by dalev	Dave Herman	2006-04-01 01:57
Forum topic	Category theory Gunter's book by dalev	Matthew Willson	2005-09-27 19:22

---

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