Commits


Add licence.


Add a description.


Add .gitignore


List idris2 packages this depends on.


Initial import.