cvs commit: ports/lang Makefile ports/lang/imp-interpreter Makefile distinfo pkg-descr

[Martin Wilke]

miwi        2006-08-17 21:16:30 UTC

  FreeBSD ports repository

  Modified files:
    lang                 Makefile 
  Added files:
    lang/imp-interpreter Makefile distinfo pkg-descr 
  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 at gmail.com>
   WWW:    http://www.ocaml.info/home/ocaml_sources.html
  
  PR:             ports/102103
  Submitted by:   Stanislav Sedov <ssedov at mbsd.msk.ru>
  Approved by:    krion (mentor)
  
  Revision  Changes    Path
  1.509     +1 -0      ports/lang/Makefile
  1.1       +43 -0     ports/lang/imp-interpreter/Makefile (new)
  1.1       +3 -0      ports/lang/imp-interpreter/distinfo (new)
  1.1       +14 -0     ports/lang/imp-interpreter/pkg-descr (new)