Sebastian Ullrich 682ad9f605 feat: stage 2 and 3 builds ... While stage 1 is still the main build and the source of `bin/lean`, we now have optional targets * lean_stage2, lean_stage3: build respective executable in `<build>/shell` from previous stage, compiling the stdlib from scratch * bin_lean_stage2: copy `lean_stage2` to `bin/` (stage 3 should always be identical to stage 2)		2019-11-27 05:53:22 -08:00
..
Control
Data	fix: performance issue introduced by 2809cea147	2019-11-27 05:43:28 -08:00
Lean	chore: naming convention	2019-11-27 05:50:31 -08:00
System
Coe.lean
Control.lean
Core.lean	fix: performance issue introduced by 2809cea147	2019-11-27 05:43:28 -08:00
Data.lean
Default.lean
Fix.lean
Lean.lean
Makefile.in	feat: stage 2 and 3 builds	2019-11-27 05:53:22 -08:00
relative.py
System.lean
Util.lean
WF.lean