blob: 7916dbb3bd7a1cf7a7ba22f8f09dc6feaa9b6518 (
plain)
1
|
Type error: Unhandled error: InvalidListElement(1, Value@WHNF { value: AppliedBuiltin(Bool, []), type: Type }, Value@Unevaled { value: PartialExpr(NaturalLit(1)), type: Value@WHNF { value: AppliedBuiltin(Natural, []), type: Type } })
|