Name		Name	Last commit message	Last commit date
Latest commit History 65 Commits
.github/workflows		.github/workflows
lib		lib
.ocamlformat		.ocamlformat
COPYING		COPYING
COPYING.CC0		COPYING.CC0
COPYING.LESSER		COPYING.LESSER
Makefile		Makefile
README		README
README.md		README.md
REPL.ml		REPL.ml
dune		dune
dune-project		dune-project
lambda.opam		lambda.opam

Repository files navigation

lambda;

TODO:

demos ao order clean code check cbv strategy swap teach pp detect funs

About

No description, website, or topics provided.

LGPL-3.0 and 2 other licenses found

Licenses found

Report repository

Releases

No releases published

Packages

Contributors

Languages