No, I use Idris (2) quite a bit and am quite advanced at dependent types, however I was looking to go further and found [0] and a course using it, but that cour

No, I use Idris (2) quite a bit and am quite advanced at dependent types, however I was looking to go further and found [0] and a course using it, but that course uses a 4-5 year old version which has a lot of issues so I am fixing those. I already gave up running the project on a m1 (not really worth solving that issue as I have a x86 Linux machine anyway) so now I just puzzling to get all the stuff from the course to work. [0] https://github.com/siddhartha-gadgil/ProvingGround https://github.com/siddhartha-gadgil/ProvingGround