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.1.tbz
sha256=2b3e4811123dacbd7fea6da53e6a39d1b199758d0df789d6aff9d2a364623363
md5=162a9b02818fabfe36a229b5e7f062fe
CHANGES.md.html
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