Top
This file has been processed with:
ocamlorn --library
stdlib
.
mli
\ --library
desorn.
in
.
ml
--input
desorn.
in
.
ml
--lifting
desorn.
lif
.
ml
\ >
desorn.
out
.
ml
Desornamentation
From lists to nat
Disornamenting and ornamenting at the same time:
From lists to lists
Reverse ornament on a larger example:
maps to sets
Disornamenting with a deep ornaments:
from localized expression to bare expressions
.
Some remarks about
implicit polymorphism
.
From an interpreter with named variables to a
De Bruijn interpreter
.
Towards
robust patches
.
Adding new independent constructors: example with
expressions
.