Sebastian Ullrich 44d5eddf16 chore: remove support for relative imports		2019-11-20 16:39:53 +01:00
..
CMakeLists.txt	feat: make LEAN_PATH a mapping from package names to root dirs, remove C++ impl	2019-11-20 16:39:53 +01:00
lean.cpp	chore: remove support for relative imports	2019-11-20 16:39:53 +01:00
lean_js.cpp	feat(frontends/lean/vm_elaborator): recover from unknown identifiers	2019-02-07 14:16:28 +01:00
mk_lean_sh.sh