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
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>