package gospel
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
A tool-agnostic formal specification language for OCaml
Install
dune-project
Dependency
Authors
Maintainers
Sources
v0.3.1.tar.gz
md5=99432da6253cc1d5eb071caa635044a1
sha512=a50035d28c10119b0d42391fcf1cce4cab101170f6ed308bfd214165b09e595d817fc0eea0efb4632810bd962cad022473ff9148bccd4854e46c22462347702e
doc/index.html
gospel
API
Library gospel
Library gospel.stdlib
GospelstdlibThis file contains the Gospel standard library.
Library ppx_odoc_of_gospel
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page