7 Commits

Author	SHA1	Message	Date
Edwin Brady	a5638e0aac	Update bootstrap scheme ... The older version had a lingering bug from upstream Idris in writing Integers to TTC	2020-05-19 21:42:24 +01:00
Edwin Brady	6bbb914fca	Merge pull request #1 from edwinb/remove-directory-system ... Add rmDir to System.Directory	2020-05-19 12:24:35 +01:00
Edwin Brady	b69068f4ff	Update bootstrap scripts	2020-05-18 20:33:38 +01:00
André Videla	3321dc6be3	Add rmDir to System.Directory	2020-05-18 18:28:33 +01:00
Edwin Brady	557de91c5a	Internal errors when install fails	2020-05-18 17:15:10 +01:00
Edwin Brady	d2b652add5	Update generated scheme	2020-05-18 16:59:05 +01:00
Edwin Brady	2ef0dec192	Change boot directory	2020-05-18 16:23:37 +01:00