Sebastian Ullrich c4d3c74837 feat: accept multiple patterns after matches		2022-03-21 17:59:02 +01:00
..
bin	chore: lean-gdb: fix RC printing	2021-12-15 15:58:31 +01:00
cmake
include/lean	fix: wait on tasks before Lean program exit	2021-12-15 15:58:24 +01:00
Init	feat: accept multiple patterns after matches	2022-03-21 17:59:02 +01:00
initialize
kernel	perf: efficient unsigned hash(expr const & e)	2022-03-15 07:15:00 -07:00
lake@d961d8cfaa	chore: update Lake	2022-03-21 14:50:54 +01:00
Lean	feat: accept multiple patterns after matches	2022-03-21 17:59:02 +01:00
library	refactor: move consume_type_annotations declaration to expr.h	2022-03-10 08:00:39 -08:00
runtime	chore: revise non-GMP interface	2022-03-16 17:32:51 -07:00
shell	test: reimplement package tests using Lake	2022-02-09 12:21:11 -08:00
Std	feat: add HasConstCache	2022-03-15 08:39:48 -07:00
util	feat: add -i cli option	2022-01-14 09:18:57 +01:00
CMakeLists.txt	fix: symlinking src/ into build directory	2022-02-05 18:52:40 +01:00
config.h.in
githash.h.in
Init.lean	chore: link orphan file	2022-03-07 10:59:49 +01:00
Lean.lean	feat: expose --load-dynlib functionality to Lean code	2021-12-15 08:26:48 +00:00
lean.mk.in	feat: build .ilean files next to .olean files	2022-01-14 09:18:57 +01:00
Leanc.lean	chore: fix codebase after removing auto pure	2022-02-03 18:08:14 -08:00
Std.lean
stdlib.make.in	chore: remove leanpkg	2022-02-04 19:03:40 +01:00
stdlib_flags.h	Revert "chore: prefer native"	2021-10-26 20:19:27 +02:00
version.h.in