diff options
| author | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-10-01 19:52:04 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-10-01 19:55:57 +0200 |
| commit | 0c2119268bc54905bec2070676468f48b3002a89 (patch) | |
| tree | 3bde71e2342a75dbf428e0982ad1daf2f21ac0d4 /rust/src/web.rs | |
| parent | 19eb33ef04103ca4a6eb4af3e1940c2a5779e1ad (diff) | |
| download | lambda-nantes-0c2119268bc54905bec2070676468f48b3002a89.tar.gz | |
Simplify eval() to match WHNF definition
Diffstat (limited to 'rust/src/web.rs')
0 files changed, 0 insertions, 0 deletions