Leonardo de Moura faebe15a7f feat(library/init/lean/expr): add efficient instantiate1 ... cc: @dselsam		2019-09-30 14:33:32 -07:00
..
bench	chore(tests/bench): update GHC and ocaml	2019-09-25 14:09:22 +02:00
compiler	chore(tests/compiler/binomial): further reduce input size for debug build of interpreter...	2019-09-12 18:26:15 +02:00
elabissues	test(elabissues): document some of the known problems	2019-09-21 10:17:26 -07:00
ir	chore(tests): fix do syntax in tests	2019-06-30 13:04:34 +02:00
lean	feat(library/init/lean/expr): add efficient instantiate1	2019-09-30 14:33:32 -07:00
playground	test(tests): use #eval and move tests	2019-09-19 14:38:52 -07:00