diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2025-04-21 21:57:24 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2025-04-21 21:57:24 +0200 |
| commit | b1a41a3e7b796f9bde7642fc4d7de70a7cdadc71 (patch) | |
| tree | 62c0d3a96bf5875434812f3fe8276949d3457492 /src/Util | |
| parent | c586e7d2343fa735a9b27e0b1a201dd2cb2bc68e (diff) | |
Let peeling (let x = Just e in e' ~> let x = e in e'[Just x/x])
Diffstat (limited to 'src/Util')
0 files changed, 0 insertions, 0 deletions