Idris2+WebGL, part #17: A Hoare state failure
As explained in the last log entry, I set out to use decorated state monads to prove certain...
Tags: idris, functional, webgl