package fstar
An ML-like language with a type system for program verification.
Install
Dune Dependency
Authors
Maintainers
Sources
v0.9.0.tar.gz
sha256=9da8ee27a56e45aa8c39aa144860682703f8d37c475078d34b1d7a029603a0f3
md5=dd113e6de5382e829ab27e81e97d8e79
Description
Published: 31 Aug 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