liamoc.net / holbert-ng
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.

check range

澪 ddc5946f 8ac070f5

+5 -1
+5 -1
src/HOTerm.res
··· 112 112 schematic, 113 113 allowed: Array.map(allowed, i => 114 114 if i >= from { 115 - i - amount 115 + if i - amount >= 0 { 116 + i - amount 117 + } else { 118 + raise(Err("downshifted variable index out of bounds")) 119 + } 116 120 } else { 117 121 i 118 122 }