diff options
| author | miwi <miwi@FreeBSD.org> | 2006-08-18 05:16:30 +0800 |
|---|---|---|
| committer | miwi <miwi@FreeBSD.org> | 2006-08-18 05:16:30 +0800 |
| commit | 6a4a1a63813d27ead995770112371ac7598c8d93 (patch) | |
| tree | 8a423706b37063a87c6f461052f1a89e647c9a2e /lang/Makefile | |
| parent | f98883a1075015bfc93ec5f7cbcd52fa5d728f0f (diff) | |
| download | freebsd-ports-gnome-6a4a1a63813d27ead995770112371ac7598c8d93.tar.gz freebsd-ports-gnome-6a4a1a63813d27ead995770112371ac7598c8d93.tar.zst freebsd-ports-gnome-6a4a1a63813d27ead995770112371ac7598c8d93.zip | |
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)
Diffstat (limited to 'lang/Makefile')
| -rw-r--r-- | lang/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/Makefile b/lang/Makefile index 1aa8cb295d54..cb0f6ab4f3a2 100644 --- a/lang/Makefile +++ b/lang/Makefile @@ -118,6 +118,7 @@ SUBDIR += icon SUBDIR += ifc SUBDIR += ifc7 + SUBDIR += imp-interpreter SUBDIR += intel2gas SUBDIR += intercal SUBDIR += io |