27 lines
592 B
Plaintext
27 lines
592 B
Plaintext
|
(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
|