Neat. I've installed it and the new (to me) Idris2. I've gone through some of the Idris dist source files, but I'll have to take a closer look later tonight. I haven't revisited Idris since the Type Driven Development book first came out, so I can barely remember how to use the commands for generating cases, etc. I'll probably have to hit a tutorial to be able to try out your bindings.