ports - FreeBSD ports tree

	Commit message (Collapse)	Author	Age	Files	Lines
*	2012-11-27 java/jmp: Java 1.5 is EOLed	Baptiste Daroussin	2012-11-28	1	-14/+0
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	2012-11-26 irc/tr-ircd: No more public distfiles 2012-11-26 lang/imp-interpreter: No more public distfiles 2012-11-26 games/xquarto: No more public distfiles 2012-11-26 games/six: No more public distfiles 2012-11-26 finance/gfp: No more public distfiles 2012-11-26 games/44bsd-hunt: No more public distfiles 2012-11-26 graphics/ale: No more public distfiles 2012-11-26 german/digibux: No more public distfiles 2012-11-26 java/eclipse-clay-core: No more public distfiles 2012-11-26 games/xbloody: No more public distfiles 2012-11-26 dns/sqldjbdns: No more public distfiles Feature safe: yes Notes: svn path=/head/; revision=307898
*	IMP is a monadic style implementation of the semantics of the (very simple)	Martin Wilke	2006-08-17	1	-0/+14
	language IMP, "plain" the implementation with explicit passing of state. The semantics of the IMP-language is presented in the book: "The Formal Semantics of Programming Languages" by Glynn Winskel (1993, The MIT Press). for more details on monads, see Philip Wadler's page on: http://cm.bell-labs.com/cm/cs/who/wadler/topics/monads.html#combining-monads Author: Markus Mottl <markus.mottl@gmail.com> WWW: http://www.ocaml.info/home/ocaml_sources.html PR: ports/102103 Submitted by: Stanislav Sedov <ssedov@mbsd.msk.ru> Approved by: krion (mentor) Notes: svn path=/head/; revision=170912