You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
zapashcanon 95c846a378
format
4 months ago
doc first commit 10 months ago
src format 4 months ago
test format 4 months ago
.build.yml fix ci script 5 months ago
.gitignore first commit 10 months ago
CHANGES.md first commit 10 months ago
LICENSE.md first commit 10 months ago
README.md first commit 10 months ago
complice.opam extract everything related to simply typed lambda calculus to a library, it can 10 months ago
complice_web.opam extract everything related to simply typed lambda calculus to a library, it can 10 months ago
dddddml.opam add missing dep on menhir 10 months ago
dune-project fix dune project 5 months ago
typlib.opam extract everything related to simply typed lambda calculus to a library, it can 10 months ago

README.md

dddddml builds.sr.ht status

dddddml.