Sebastian Ullrich 581583832f chore(tests/lean/parser1): fix test		2018-05-17 14:15:08 +02:00
..
ir	feat(runtime/lean_obj): natural number support	2018-05-16 10:28:51 -07:00
lean	chore(tests/lean/parser1): fix test	2018-05-17 14:15:08 +02:00