diff options
| author | Nathan Ringo <nathan@remexre.com> | 2024-01-23 17:20:29 -0600 |
|---|---|---|
| committer | Nathan Ringo <nathan@remexre.com> | 2024-01-23 17:20:29 -0600 |
| commit | 8b5dab508800c08a11a255280798bd4b245e0818 (patch) | |
| tree | 094e409df525cba53368827bfefab5e394dbfc59 /discocaml/eval.ml | |
| parent | 5be908867a5def57fd5e398a1047f859a68fd1a4 (diff) | |
Disable CBN for now.
Diffstat (limited to 'discocaml/eval.ml')
0 files changed, 0 insertions, 0 deletions