Search results

§8.3.3 Exercises asks me to implement ForM using for … in in the wrong monad

Status: Open.

#274 In leanprover/fp-lean;

· lilyball opened on May 8, 2026

[Typo] Section 3.6.1, "an position"

TypoTypographical or grammatical errors in the textTypographical or grammatical errors in the text

Status: Open.

#272 In leanprover/fp-lean;

· jlebar opened on May 1, 2026

Accessibility of text in browser

Status: Open.

#271 In leanprover/fp-lean;

· pjgoodall opened on Apr 25, 2026

[Typo] 7.2.2. A Universe of Finite Types: typo in Finite.enumerate .pair explanation

TypoTypographical or grammatical errors in the textTypographical or grammatical errors in the text

Status: Open.

#269 In leanprover/fp-lean;

· ilya-fiveisky opened on Apr 11, 2026

§3.2.4.1 Even Number Literals doesn't work unless Even is inductive

Status: Open.

#268 In leanprover/fp-lean;

· lilyball opened on Apr 8, 2026

Section 2.1.4. dropRightWhile is deprecated (Combining IO Actions)

Status: Open.

#267 In leanprover/fp-lean;

· capistaincap opened on Mar 21, 2026

Add Run on Lean 4 Playground Button (similar to metaprogramming in lean 4)

Status: Open.

#266 In leanprover/fp-lean;

· JadAbouHawili opened on Mar 14, 2026

Section 5.4: Wrong simplification for checkCompany

Status: Open.

#265 In leanprover/fp-lean;

· h-bex opened on Feb 7, 2026

Fragmented Explanation for Coercion of Nat to Option (Option (Option Nat)) Example

Status: Open.

#263 In leanprover/fp-lean;

· JadAbouHawili opened on Jan 28, 2026

Add Explicit Reference to Definition of idahospiders in 3.5.6 Append Example

Status: Open.

#262 In leanprover/fp-lean;

· JadAbouHawili opened on Jan 26, 2026

[Typo] 3.1.6.1. Another Representation , Type Signature of succ

TypoTypographical or grammatical errors in the textTypographical or grammatical errors in the text

Status: Open.

#261 In leanprover/fp-lean;

· JadAbouHawili opened on Jan 21, 2026

3.5.3: question about 1 + x in (fun (x : Nat) => 1 + x) = (Nat.succ ·)

Status: Open.

#260 In leanprover/fp-lean;

· xuhongxu96 opened on Jan 15, 2026