6 Commits

Author	SHA1	Message	Date
Edwin Brady	a941116b2f	First working version! ... This is capable of building itself, given the right libraries. Next step, a build system...	2020-05-18 00:24:37 +01:00
Edwin Brady	14d480b971	Everything but the IDE protocol	2020-05-17 15:56:45 +01:00
Edwin Brady	ea41bb9abe	Ported up to Idris.ModTree	2020-05-17 14:26:04 +01:00
Edwin Brady	d9903d5ba6	Done up to ProcessDecls	2020-05-17 02:03:57 +01:00
Edwin Brady	1fd92f5518	Checking up to TTImp.Elab.Term	2020-05-17 01:20:53 +01:00
Edwin Brady	6838f4ae1f	Add to Core.TT	2020-05-16 19:42:48 +01:00