I am trying to use the Programming Language Foundation with Agda plfa library, however the import does not appear to be working properly. I have cloned the repository and added the repository path to:...

I was trying to train on this kata about longest common subsequences of a list which I slightly modified so that it worked with my versions of agda and the standard library (Agda 2.6.2, stdlib 1.7) wh...