Mario Carneiro 6026894f9f doc: finish Init.Prelude docs		2022-08-09 14:25:44 -07:00
..
bin	chore: lean-gdb: recursive values & tag	2022-06-26 18:47:47 +02:00
cmake
include/lean	chore: remove dead code	2022-08-06 20:20:50 -07:00
Init	doc: finish Init.Prelude docs	2022-08-09 14:25:44 -07:00
initialize
kernel	perf: improve lazy_delta_reduction_step heuristic	2022-07-24 11:48:45 -07:00
lake@6cfb4e3fd7	refactor: simplify runTermElabM and liftTermElabM	2022-08-07 07:35:02 -07:00
Lean	doc: finish Init.Prelude docs	2022-08-09 14:25:44 -07:00
library	fix: elim_scalar_array_cases	2022-07-24 14:46:46 -07:00
runtime	chore: remove dead code	2022-08-06 20:20:50 -07:00
shell	chore: fix USE_GMP=OFF by removing GMP linking customization	2022-03-26 16:29:52 +01:00
Std	feat: add PersistentHashMap.map and PersistentHashMap.mapM	2022-08-03 11:20:17 -07:00
util	feat: forward all args to server	2022-07-28 15:58:32 +02:00
CMakeLists.txt	chore: add option to exclude 'LICENSE' files from 'make install'	2022-05-25 12:39:30 +02:00
config.h.in
githash.h.in
Init.lean	chore: remove Fix.lean	2022-06-16 15:30:47 -07:00
Lean.lean	feat: add [deprecated] attribute	2022-07-24 18:06:03 -07:00
lean.mk.in
Leanc.lean	chore: unused variable warningns	2022-07-09 07:52:59 -07:00
Std.lean
stdlib.make.in	feat: turn on warningAsError	2022-07-29 10:31:19 -07:00
stdlib_flags.h	chore: default pp.rawOnError to true for stage 0	2022-06-27 22:37:02 +02:00
version.h.in