package anders
CCHM homotopy system type checker based on Mini-TT for OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
0.7.1.zip
md5=a993dfa86ac42d3dac6c089096b67e84
sha512=6acd8c46a281626e153f6bcc80c03ade45148b1f854ac303fab2932991b3d0ee77a2fa0c4611ee54017eb250ce0f6b732b23ddeef9d57d9eceb4a4d79e5354a8
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>