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


1.4
date	2012.11.28.10.35.18;	author svnexp;	state dead;
branches;
next	1.3;

1.3
date	2011.07.03.13.45.14;	author ohauer;	state Exp;
branches;
next	1.2;

1.2
date	2006.12.09.11.51.22;	author stas;	state Exp;
branches;
next	1.1;

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


desc
@@


1.4
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
@SHA256 (IMP-1.0.7.tar.bz2) = 06b94471a698689b9a14ff46a85267338653eca933a4788771f9cd4e01345257
SIZE (IMP-1.0.7.tar.bz2) = 10634
@


1.3
log
@- remove MD5
@
text
@@


1.2
log
@- Update to 1.0.7
- Change my email
@
text
@a0 1
MD5 (IMP-1.0.7.tar.bz2) = 2d234a1fa12adc83d7d3a2efb3f75fde
@


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
@d1 3
a3 3
MD5 (IMP-1.0.6.tar.bz2) = 9807e6fd483f0d258de58f89522d5e99
SHA256 (IMP-1.0.6.tar.bz2) = 0c9e7c6744a15d2b74ba41eb6a389dddc601325592bf1be19b3a25088e45e761
SIZE (IMP-1.0.6.tar.bz2) = 10608
@

