3 Commits

Author	SHA1	Message	Date
Edwin Brady	9c5594223e	Small documentation updates	2020-05-25 01:02:07 +01:00
Edwin Brady	498421a236	All functions now need to be covering by default ... This has caught a couple of things in the Idris 2 code base itself. Some tests needed partial annotations too.	2020-05-24 19:58:20 +01:00
Edwin Brady	fd55e629ee	Copy more files over from Idris2	2020-05-20 11:23:04 +01:00