Sebastian Ullrich d3e915b6b9 refactor(tests/lean/macro1): move meta type adapters into library		2018-05-17 18:58:33 +02:00
..
ir	feat(runtime/lean_obj): natural number support	2018-05-16 10:28:51 -07:00
lean	refactor(tests/lean/macro1): move meta type adapters into library	2018-05-17 18:58:33 +02:00