the next generation of the in-browser educational proof assistant
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

downshift boundary

f1b1926e 74b605f3

+6 -1
+5 -1
src/HOTerm.res
··· 93 93 | Var({idx}) => 94 94 Var({ 95 95 idx: if idx >= from { 96 - idx - amount 96 + if idx - amount >= 0 { 97 + idx - amount 98 + } else { 99 + raise(Err("downshifted variable index out of bounds")) 100 + } 97 101 } else { 98 102 idx 99 103 },
+1
src/Util.res
··· 13 13 } 14 14 exception TODO(string) 15 15 exception Unreachable(string) 16 + exception Err(string)