implicitt/dune-project

27 lines
592 B
Plaintext
Raw Permalink Normal View History

2022-08-25 20:29:55 +02:00
(lang dune 3.3)
(name implicitt)
(generate_opam_files true)
(source
(uri "https://githug.xyz/depsterr/implcitt"))
(authors "depsterr")
(maintainers "depsterr")
(license ISC)
; (documentation https://url/to/documentation)
(package
(name implicitt)
(synopsis "A poor proof assitant")
(description "A \"proof assistant\" with holes and implcit arguments. Developed to learn about elaboration, meta variables and OCaml.")
(depends ocaml dune)
(tags
(topics "proof assistant")))
; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project