zapashcanon/dddddml
1
0
Fork 0
Code Issues Pull Requests Actions Releases Wiki Activity
88 Commits 4 Branches 0 Tags 620 KiB
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
zapashcanon 99d212af7a
fix ci script
2020-08-17 18:23:36 +02:00
doc
first commit
2020-03-06 18:06:48 +01:00
src
add a proper origin type, instead of a boolean flag
2020-05-11 14:14:12 +02:00
test
first step toward match construct
2020-04-09 19:56:53 +02:00
.build.yml
fix ci script
2020-08-17 18:23:36 +02:00
.gitignore
first commit
2020-03-06 18:06:48 +01:00
CHANGES.md
first commit
2020-03-06 18:06:48 +01:00
complice_web.opam
extract everything related to simply typed lambda calculus to a library, it can
2020-03-27 16:15:54 +01:00
complice.opam
extract everything related to simply typed lambda calculus to a library, it can
2020-03-27 16:15:54 +01:00
dddddml.opam
add missing dep on menhir
2020-03-09 11:29:55 +01:00
dune-project
fix dune project
2020-08-17 17:05:19 +02:00
LICENSE.md
first commit
2020-03-06 18:06:48 +01:00
README.md
first commit
2020-03-06 18:06:48 +01:00
typlib.opam
extract everything related to simply typed lambda calculus to a library, it can
2020-03-27 16:15:54 +01:00

README.md

dddddml builds.sr.ht status

dddddml.

Description
No description provided
Readme
Languages
OCaml 92%
HTML 5.3%
Dune 2%
Standard ML 0.7%