Zulip Chat Archive
Stream: lean4 dev
Topics:
- [Frontend] meeting notes (23 messages, latest: Jan 31 2023 at 15:08)
- isDefEq on structures (6 messages, latest: Jan 30 2023 at 09:40)
- resuming synthesis (2 messages, latest: Jan 30 2023 at 08:04)
- Windows build is broken (1 message, latest: Jan 27 2023 at 19:11)
- Platform distribution (5 messages, latest: Jan 27 2023 at 18:58)
- RFC: Use unsigned ints for
FVarId
etc. (11 messages, latest: Jan 26 2023 at 10:34) - isDefEq on projections (8 messages, latest: Jan 20 2023 at 19:26)
- synthInstances & universe metavariables (1 message, latest: Jan 20 2023 at 16:10)
- Should instance names inherit macro scopes? (5 messages, latest: Jan 18 2023 at 09:10)
- Parser in another category breaks antiquotations (3 messages, latest: Jan 18 2023 at 07:28)
- [Compiler] meeting notes (88 messages, latest: Jan 18 2023 at 04:44)
- [Compiler] LLVM Backend (148 messages, latest: Jan 12 2023 at 15:43)
- Mathlib profiling (9 messages, latest: Jan 11 2023 at 10:26)
- GH project list (1 message, latest: Jan 11 2023 at 01:18)
- [RFC] Int.div convention (75 messages, latest: Jan 10 2023 at 05:32)
- Lean LLVM/MLIR (37 messages, latest: Jan 04 2023 at 21:07)
- [Compiler]
compile #\[
Lean.AssocList.contains\]
(22 messages, latest: Dec 28 2022 at 21:38) - Data.List.Basic is a server stress test (6 messages, latest: Dec 20 2022 at 19:54)
- [Compiler]
compile #\[
Heq.noConfusionType\]
(4 messages, latest: Dec 14 2022 at 07:34) - [Compiler] next meeting (3 messages, latest: Dec 14 2022 at 01:39)
- [Compiler] Partially applied constructors? (2 messages, latest: Dec 08 2022 at 20:21)
- [Compiler] escape analysis … (14 messages, latest: Dec 07 2022 at 20:48)
- Beginner Questions (15 messages, latest: Dec 07 2022 at 11:24)
- [Compiler] LCNF for Array.get (12 messages, latest: Dec 01 2022 at 18:17)
- Top-level task (5 messages, latest: Nov 29 2022 at 19:28)
- [Compiler] moving meeting to Wednesday (1 message, latest: Nov 26 2022 at 15:45)
- [Compiler] lean-souffle (Datalog) (18 messages, latest: Nov 24 2022 at 13:23)
?a
name hygiene issues (6 messages, latest: Nov 18 2022 at 12:38)- General contribution question: adding basic utilities (6 messages, latest: Nov 11 2022 at 03:38)
- [Compiler] Meeting link (4 messages, latest: Nov 07 2022 at 18:02)
- ✔ [Compiler] adding sharing automatically (2 messages, latest: Oct 29 2022 at 01:07)
- [Compiler] adding sharing automatically (4 messages, latest: Oct 28 2022 at 22:54)
- [Compiler] Friday meetings (1 message, latest: Oct 19 2022 at 13:58)
- Potential mathlib scalability issues (5 messages, latest: Oct 15 2022 at 14:52)
- [Compiler] Probe library (1 message, latest: Oct 15 2022 at 03:55)
- Running benchmarks interactively? (9 messages, latest: Oct 14 2022 at 07:39)
- [Compiler] Recursive join points (7 messages, latest: Oct 11 2022 at 08:35)
- ✔ LCNF Code size (4 messages, latest: Oct 10 2022 at 19:41)
- Weak symbols (141 messages, latest: Oct 08 2022 at 08:25)
- Building on Mac (9 messages, latest: Oct 06 2022 at 18:10)
- [Compiler] second phase (aka mono) (3 messages, latest: Oct 06 2022 at 16:28)
- Development setup (4 messages, latest: Oct 04 2022 at 23:58)
- Available options for compiler and tracing output (11 messages, latest: Oct 02 2022 at 23:30)
- [Compiler] new compiler first phase is active (46 messages, latest: Sep 30 2022 at 15:48)
- [Compiler] inline + let (41 messages, latest: Sep 30 2022 at 00:56)
- Unresolved symbols (2 messages, latest: Sep 26 2022 at 07:44)
- [Compiler] specialization reuse (9 messages, latest: Sep 24 2022 at 22:57)
- [Compiler] Environment after elaboration … (8 messages, latest: Sep 23 2022 at 15:00)
- try_for (2 messages, latest: Sep 23 2022 at 09:36)
- [Compiler] meeting dates & link (1 message, latest: Sep 22 2022 at 17:59)
- [Compiler] first meeting notes (44 messages, latest: Sep 19 2022 at 20:10)
- Multiply delayed assignments? (16 messages, latest: Sep 18 2022 at 13:58)
- [Compiler] constant propagation (3 messages, latest: Sep 18 2022 at 13:24)
- [RFC] Syntax of documentation comments for constructors (7 messages, latest: Sep 16 2022 at 18:34)
- [Compiler] OCaml Flambda (3 messages, latest: Sep 14 2022 at 22:41)
- ✔ Compilation errors in simpleTypes.lean (1 message, latest: Sep 13 2022 at 14:38)
- Compilation errors in simpleTypes.lean (5 messages, latest: Sep 13 2022 at 14:21)
- Panics in syntax accessors (5 messages, latest: Sep 13 2022 at 11:24)
- ✔ nix help building docs (1 message, latest: Sep 10 2022 at 00:17)
- nix help building docs (5 messages, latest: Sep 06 2022 at 21:43)
- conv zoom button (21 messages, latest: Sep 06 2022 at 16:20)
- stream events (1 message, latest: Sep 01 2022 at 20:44)
Last updated: Jan 31 2023 at 21:29 UTC