package gmap
Heterogenous maps over a GADT
Install
Dune Dependency
Authors
Maintainers
Sources
gmap-0.2.1.tbz
sha256=3e2af61794c0a04378ad2392be3c8fa2f8ba92f2e8b5b38873a09b2ce6961f8e
md5=906c84e6a93bcb74b392b12e9c0d9517
CHANGES.md.html
0.2.1 (2019-02-16)
move build system to dune
0.2.0 (2018-06-24)
New function
update
.New function
add_unless_bound
andaddb_unless_bound
.Replace
type v = V : 'a key * 'a -> v
bytype b = B : 'a key * 'a -> b
.Renamed functions ending with
v
tob
0.1.0 (2018-06-16)
Initial release
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>