Sadly the console seems to be missing and the compiler doesn't emit errors. The second is more sad since so much of the dynamics of programming Idris comes fro

Sadly the console seems to be missing and the compiler doesn't emit errors. The second is more sad since so much of the dynamics of programming Idris comes from the trying to get its statics to compile. In particular, you will spend an inordinate amount of time staring down collections of type holes trying to solve the puzzle they present. None of that gets reflected in the compiled Javascript.