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