Thank you, I had read the FAQ: http://docs.idris-lang.org/en/latest/faq/faq.html http://docs.idris-lang.org/en/latest/faq/faq.html but could not infer why a d

Thank you, I had read the FAQ: http://docs.idris-lang.org/en/latest/faq/faq.html http://docs.idris-lang.org/en/latest/faq/faq.html but could not infer why a dragon from Ivor the engine had been chosen. That the author had previously written a proof engine makes all the sense now. :)