Sebastian Ullrich 842881e137 fix: default for MACOSX_DEPLOYMENT_TARGET (#2598) ... Co-authored-by: Scott Morrison <scott@tqft.net>		2023-10-02 13:03:19 +00:00
..
bin
cmake
include/lean	perf: Use flat ByteArrays in Trie (#2529)	2023-09-20 13:22:37 +02:00
Init	chore: update domain	2023-09-20 15:13:27 -07:00
initialize	fix: calling convention for module initializers	2023-07-10 09:00:17 -07:00
kernel	chore: Remove unused variables from kernel	2023-09-27 09:43:07 -07:00
lake	doc: fix docstring typos (#2605)	2023-09-30 07:51:35 -04:00
Lean	refactor: remove redundant let	2023-10-02 14:27:04 +02:00
library	chore: Remove unused variables from kernel	2023-09-27 09:43:07 -07:00
runtime	fix: use MoveFileEx for rename on win	2023-09-19 20:24:37 +02:00
shell	test: lake: give issue tests meaningful names	2023-09-06 17:35:59 -04:00
util	fix: calling convention for module initializers	2023-07-10 09:00:17 -07:00
CMakeLists.txt	chore: begin development cycle for v4.3.0 (#2585)	2023-09-26 04:18:54 +00:00
config.h.in
githash.h.in
Init.lean	chore: move Bootstrap.Dynamic -> Init.Dynamic	2022-09-02 04:36:54 -07:00
Lean.lean	feat: add linter.deprecated option to silence deprecation warnings	2022-10-23 21:11:57 +02:00
lean.mk.in	chore: remove binaries before building them	2023-08-23 14:33:27 -04:00
Leanc.lean	fix: default for MACOSX_DEPLOYMENT_TARGET (#2598)	2023-10-02 13:03:19 +00:00
stdlib.make.in	chore: remove binaries before building them	2023-08-23 14:33:27 -04:00
stdlib_flags.h	chore: update domain	2023-09-20 15:13:27 -07:00
version.h.in