Sebastian Ullrich 872d5fc7ba feat: stop compiling Lean code as C++, remove --cpp option ... Since we don't use static initializers, really the only difference between using `clang` and `clang++` is the default inclusion of the C++ standard library.		2020-05-14 14:45:33 +02:00
..
bench	feat: stop compiling Lean code as C++, remove --cpp option	2020-05-14 14:45:33 +02:00
compiler	feat: stop compiling Lean code as C++, remove --cpp option	2020-05-14 14:45:33 +02:00
elabissues	doc: elabissue for structure same-name error msg	2020-02-18 10:52:44 -08:00
ir	chore(tests): fix do syntax in tests	2019-06-30 13:04:34 +02:00
lean	chore: factor out and unify common test behavior; retrieve lean from PATH	2020-05-14 14:38:52 +02:00
playground	test: add re-elaborating delaborator PoC to playground	2020-03-19 17:18:46 -07:00
plugin	feat: stop compiling Lean code as C++, remove --cpp option	2020-05-14 14:45:33 +02:00
common.sh	feat: stop compiling Lean code as C++, remove --cpp option	2020-05-14 14:45:33 +02:00