package fstar
An ML-like language with a type system for program verification.
Install
Dune Dependency
Authors
Maintainers
Sources
v0.9.1.1.tar.gz
sha256=abc5449aea58f5db29239e9fca0f6d591d95f441ebf621a841253859ee3985ff
md5=6a0a27dc1b9f5bfb68b46852a381c028
Description
Published: 14 Oct 2015
Dependencies (5)
- num
-
ocamlbuild
build
- batteries
- ocamlfind
-
ocaml
>= "4.02.1" & < "4.06.0"
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page