Leonardo de Moura e5ba0d7733 chore(*): cleanup		2016-09-27 17:30:57 -07:00
..
frontends/lean	feat(frontends/lean): add aliases such as: .1 for ~>1	2016-09-21 11:32:02 -07:00
kernel	refactor(*): delete HoTT support	2016-09-27 16:33:39 -07:00
library	refactor(*): delete HoTT support	2016-09-27 16:33:39 -07:00
shared	chore(*): cleanup	2016-09-27 17:30:57 -07:00
shell	chore(library): disable stdlib but init and systems folder	2016-08-11 18:42:10 -07:00
util	chore(util): remove dead code	2016-09-23 14:29:13 -07:00