vfrinken
vfrinken
Yes, @ohad, that is exactly the point I was trying to make. I went through the CFFI functions used in the Idris code itself and made the changes (only the...
Yes, function composition is adequate, it's mostly a convenience issue to not change code written for Idris 1. So if it is too much of a hassle to add it,...
but where? shouldn't the `make clean` part take care of that?
alright, that worked. Thanks