zapashcanon/dddddml
1
0
Fork 0
Code Issues Pull Requests Actions Releases Wiki Activity
102 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 cc07f89eb6
Some checks failed
build / build (push) Failing after 2m43s
Details
add CI
2025-01-20 04:05:17 +01:00
.gitea/workflows
add CI
2025-01-20 04:05:17 +01:00
doc
first commit
2020-03-06 18:06:48 +01:00
src
backup
2022-05-06 14:54:18 +02:00
test
backup
2022-05-06 14:54:18 +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%