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/95k23fxlj5vnd9sj6ng00vaqyaf9xmnd-ocaml-fix-20201120.drv | ||
powerpc64le-linux | /gnu/store/a3vmac33mss1psl6m4blcxhpr7706lp9-ocaml-fix-20201120.drv | ||
mips64el-linux | /gnu/store/pab3pxwpjc3ln06y8yqwrhch17wvqscb-ocaml-fix-20201120.drv | ||
i686-linux | /gnu/store/fgfhffd46m5zgz29bbbrnl74jw9z5vql-ocaml-fix-20201120.drv | ||
i586-gnu | /gnu/store/n19x2f9kinazpklxsjhszv6nxqag5ml9-ocaml-fix-20201120.drv | ||
armhf-linux | /gnu/store/v7w2qf69bg5kks4arrgq0wwspigwnmid-ocaml-fix-20201120.drv | ||
aarch64-linux | /gnu/store/f56xly1cp6fihzgdwr9dr3nj30mv27mi-ocaml-fix-20201120.drv |
Linter | Message | Location |
---|---|---|
No lint warnings ✓ |