package dmap
A library that implements dependent (heterogeneous) maps
Install
Dune Dependency
Authors
Maintainers
Sources
dmap-0.3.tar.gz
md5=4d44cddcc83ee62c976dee6863fa60ab
sha512=4f47d94277b16ac32c1a22de5a1bd87bfa1000ae495bfb65b3c7bdccd560697e37577dbbd846295dca8c02af797969605c0545a821c56ce3ee881d4a8769b6ce
CHANGES.md.html
0.3
changed interface of update (it was too general to be used in a useful way)
0.2
cosmetic changes to dune/opam description files
0.1
initial release
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>