List agda-nplib as a dependency #1
Description
This project depends on agda-nplib, but that is not mentioned in any obvious place (like the readme). I just wanted to play with the explore library and had to hunt down where the code for modules Level.NP, Type, etc. is. It would be nice to mention this dependency somewhere.