Idris2/support/racket
Denis Buzdalov 2482ebb432
[ performance ] Implement weak memoisation of lazy values for chez and racket (#2791)
* [ lazy ] Weakly memoise lazy expressions on chez and racket

* [ lazy ] Make weak memoisation to be controlled by codegen directive
2024-08-06 15:24:57 +01:00
..
ct-support.rkt [ fix ] Ensure casting from String to Double results in floating numbers on scheme backends 2022-05-09 18:36:17 +01:00
support.rkt [ performance ] Implement weak memoisation of lazy values for chez and racket (#2791) 2024-08-06 15:24:57 +01:00