head	1.2;
access;
symbols
	RELEASE_8_3_0:1.1
	RELEASE_9_0_0:1.1
	RELEASE_7_4_0:1.1
	RELEASE_8_2_0:1.1
	RELEASE_6_EOL:1.1
	RELEASE_8_1_0:1.1
	RELEASE_7_3_0:1.1
	RELEASE_8_0_0:1.1
	RELEASE_7_2_0:1.1
	RELEASE_7_1_0:1.1
	RELEASE_6_4_0:1.1
	RELEASE_5_EOL:1.1
	RELEASE_7_0_0:1.1
	RELEASE_6_3_0:1.1
	PRE_XORG_7:1.1
	RELEASE_4_EOL:1.1
	RELEASE_6_2_0:1.1;
locks; strict;
comment	@# @;


1.2
date	2012.11.28.10.35.18;	author svnexp;	state dead;
branches;
next	1.1;

1.1
date	2006.08.17.21.16.30;	author miwi;	state Exp;
branches;
next	;


desc
@@


1.2
log
@## SVN ##
## SVN ## Exported commit - http://svnweb.freebsd.org/changeset/base/307898
## SVN ## CVS IS DEPRECATED: http://wiki.freebsd.org/CvsIsDeprecated
## SVN ##
## SVN ## ------------------------------------------------------------------------
## SVN ## r307898 | bapt | 2012-11-28 10:32:44 +0000 (Wed, 28 Nov 2012) | 15 lines
## SVN ##
## SVN ## 2012-11-27 java/jmp: Java 1.5 is EOLed
## SVN ## 2012-11-26 irc/tr-ircd: No more public distfiles
## SVN ## 2012-11-26 lang/imp-interpreter: No more public distfiles
## SVN ## 2012-11-26 games/xquarto: No more public distfiles
## SVN ## 2012-11-26 games/six: No more public distfiles
## SVN ## 2012-11-26 finance/gfp: No more public distfiles
## SVN ## 2012-11-26 games/44bsd-hunt: No more public distfiles
## SVN ## 2012-11-26 graphics/ale: No more public distfiles
## SVN ## 2012-11-26 german/digibux: No more public distfiles
## SVN ## 2012-11-26 java/eclipse-clay-core: No more public distfiles
## SVN ## 2012-11-26 games/xbloody: No more public distfiles
## SVN ## 2012-11-26 dns/sqldjbdns: No more public distfiles
## SVN ##
## SVN ## Feature safe:	yes
## SVN ##
## SVN ## ------------------------------------------------------------------------
## SVN ##
@
text
@IMP is a monadic style implementation of the semantics of the (very simple)
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
@


1.1
log
@IMP is a monadic style implementation of the semantics of the (very simple)
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)
@
text
@@

