Author here. Glad to see so many people interested.
I think people will find this useful as an example is programming in Idris. While there are many other resources around, this fills a niche as a fairly complete, self contained program.
Since I wrote it, I've noticed that my programming style is not very standard, especially my approach to proofs, so I'm still working on it.
Thanks for this - I've bookmarked it to read later. It looks like you've explained everything pretty thoroughly in the readme, and looks like an excellent example for getting started.
I think people will find this useful as an example is programming in Idris. While there are many other resources around, this fills a niche as a fairly complete, self contained program.
Since I wrote it, I've noticed that my programming style is not very standard, especially my approach to proofs, so I'm still working on it.