Changeset 31329 in project


Ignore:
Timestamp:
09/04/14 16:58:45 (6 years ago)
Author:
juergen
Message:

juergen-lorenz updated

File:
1 edited

Legend:

Unmodified
Added
Removed
  • wiki/users/juergen-lorenz

    r31222 r31329  
    8787catch and throw
    8888
     89==== [[/eggref/4/options|options]]
     90
     91A variant of ML's option datatype, implemented as a functor producing
     92typed modules and an untyped module.
     93
    8994==== [[/eggref/4/dbc|dbc]]
    9095
Note: See TracChangeset for help on using the changeset viewer.