Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
src		src
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
NOTES.md		NOTES.md
README.md		README.md
decaml.opam		decaml.opam
dune-project		dune-project
test.agda		test.agda

Repository files navigation

DeCaml

DeCaml is a dependently typed language with OCaml-like syntax, which roughly means Agda dressed as OCaml:

About

Dependent variant of OCaml

smimram.github.io/decaml/

dependent-type-theory ocaml proof-assistant

GPL-3.0 license

6 stars

2 watching

Report repository

Releases

Contributors

Languages