Jared Roesch e65d90ac79 feat(*): C++ code generator ... in progress move of Lean.native to init		2016-12-05 16:11:41 -08:00
..
basic.lean	feat(*): C++ code generator	2016-12-05 16:11:41 -08:00
default.lean	refactor(library/init): list classes => instances	2016-12-02 16:29:15 -08:00
instances.lean	refactor(library/data): delete init/data/instances.lean	2016-12-02 16:41:16 -08:00