idris2 prototype of crisp
Repository from Github https://github.comjjl/krokantRepository from Github https://github.comjjl/krokant
