fortunewang

Idris version 1.3.2 ```idris Idris> (\pred => if pred then (+) else (*)) True 1 2 (input):1:1-45:INTERNAL ERROR: Prelude.Bool.Bool is not a Type This is probably a bug, or a...