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.

assert(amount >= 0)

澪 84cbf5ad 12078d2f

+3 -1
+3 -1
src/HOTerm.res
··· 250 250 arg: substDeBruijn(arg, substs, ~from), 251 251 }) 252 252 } 253 - let rec lam = (amount: int, term: t): t => 253 + let rec lam = (amount: int, term: t): t => { 254 + assert(amount >= 0) 254 255 if amount <= 0 { 255 256 term 256 257 } else { ··· 259 260 body: lam(amount - 1, term), 260 261 }) 261 262 } 263 + } 262 264 let rec app = (term: t, args: array<t>): t => 263 265 if args->Array.length == 0 { 264 266 term