15 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Edwin Brady	0db7e883d2	Tweak INSTALL.md	2020-05-18 14:45:12 +01:00
Edwin Brady	555f522ad0	Add bootstrapping instructions ... Added a known good scheme output which can be used to start the bootstrapping process.	2020-05-18 14:43:12 +01:00
Edwin Brady	2968681063	Tweak README	2020-05-18 14:12:09 +01:00
Edwin Brady	cf15ce85ae	Add placeholder README	2020-05-18 14:03:28 +01:00
Edwin Brady	d2f4812b48	Add a .gitignore	2020-05-18 14:01:41 +01:00
Edwin Brady	dec7dff622	Add libraries	2020-05-18 14:00:08 +01:00
Edwin Brady	a5793756b7	Fix for buildAll from upstream	2020-05-18 10:23:53 +01:00
Edwin Brady	0363b8350b	Chez output fix from upstream	2020-05-18 09:49:51 +01:00
Edwin Brady	17b17be963	Add missing files (I knew there'd be a couple...)	2020-05-18 00:28:24 +01:00
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