Leonardo de Moura 7049f4a889 feat(library/init/lean/class): register attributes and export functions		2019-06-27 13:27:13 -07:00
..
init	feat(library/init/lean/class): register attributes and export functions	2019-06-27 13:27:13 -07:00
.gitattributes
.gitignore	chore(state0/.gitignore): ignore .o	2019-03-18 18:30:28 -07:00
CMakeLists.txt	chore(library/init/lean/compiler): specializeattrs.lean ==> specialize.lean	2019-06-27 09:38:21 -07:00