package aifad
AIFAD - Automated Induction of Functions over Algebraic Datatypes
Install
Dune Dependency
mmottl.github.io
Readme
Changelog
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception License
Edit opam file
Versions (6)
Authors
Maintainers
Sources
aifad-2.2.2.tbz
sha256=98eee91cb1644d48aae66e1fdd0843d723d3754cafb538bbc319d0c206d9d08f
md5=eaa6532ae081f9a601e99f2700c791e0
CHANGES.md.html
2.2.2 (2018-10-24)
Updated to OPAM 2.0
2.2.1 (2018-08-16)
Upgraded to Dune 1.1.0
2.2.0 (2018-07-25)
Switched to dune and dune-release
2.1.0 (2017-07-30)
Switched to jbuilder and topkg