LinOCaml: Lightweight, monad-based linear types in OCaml, with a few syntax extensions

Paper

opam install dune
dune build

See examples/ folder. To run examples, try:

./_build/default/examples/ex_array.exe
./_build/default/examples/ex_linlist.exe
./_build/default/examples/ex_session.exe

OCaml 4.06.1 or higher. Checked with OCaml 4.07.0

Name		Name	Last commit message	Last commit date
Latest commit History 50 Commits
async		async
examples		examples
lib		lib
lwt		lwt
ppx		ppx
test		test
.dir-locals.el		.dir-locals.el
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
dune		dune
dune-project		dune-project
linocaml.opam		linocaml.opam