Facilities for memoization and fixed points
This package provides helpers with various constructions that involve memoization and recursion.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/0b92zxajbc5b9lww48r9f3whkaxj66lx-ocaml-fix-20211125.drv | ||
powerpc64le-linux | /gnu/store/adjk3blk7cjq343vjc3bs73qcjr771ly-ocaml-fix-20211125.drv | ||
mips64el-linux | /gnu/store/kdjwygg54xw1dwn3j230acbida1lh09w-ocaml-fix-20211125.drv | ||
i686-linux | /gnu/store/7ahn83incax0i3f0njjiyg92cy54vaqf-ocaml-fix-20211125.drv | ||
i586-gnu | /gnu/store/8x45945fs2fyv4y5x59317fh2i242afn-ocaml-fix-20211125.drv | ||
armhf-linux | /gnu/store/1imdncc6jkxnk2328m99m2m8j4lwd0xk-ocaml-fix-20211125.drv | ||
aarch64-linux | /gnu/store/nschxf5sfgdxhm47dwrng8abdnv0iwpv-ocaml-fix-20211125.drv |
Linter | Message | Location |
---|---|---|
No lint warnings ✓ |