Search results

<code>lake exe fp-lean</code> fails with <code>error: FPLean/MonadTransformers/Do.lean:356:0: Mismatched commands output:</code>

Status: Open.

#204 In leanprover/fp-lean;

· DacrydiumGracile opened on Jun 20, 2025

Combining IO and Reader uses String.separate instead of String.intercalate

Status: Open.

#202 In leanprover/fp-lean;

· bjornestol opened on Jun 11, 2025

search not working

Status: Open.

#201 In leanprover/fp-lean;

· arademaker opened on Jun 9, 2025

[Typo] in book/FPLean/GettingToKnow/Conveniences.lean

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

Status: Open.

#200 In leanprover/fp-lean;

· tonneaus opened on Jun 6, 2025

Add information about inlay hints to 1.7.1

Status: Open.

#199 In leanprover/fp-lean;

· mhuisi opened on Jun 5, 2025

Update build instructions in <code>README.md</code>

Status: Open.

#197 In leanprover/fp-lean;

· euprunin opened on Jun 4, 2025

Is the word "everyday" wrong?

Status: Open.

#195 In leanprover/fp-lean;

· na57 opened on Jun 4, 2025

[Typo] "Exected code", "flexiblity" and "heterogenous"

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

Status: Open.

#194 In leanprover/fp-lean;

· euprunin opened on Jun 3, 2025

Best way to get a PDF version of Functional Programming in Lean?

Status: Open.

#192 In leanprover/fp-lean;

· euprunin opened on Jun 3, 2025

<code>lake exe fp-lean</code> fails with <code>bash: doug: command not found</code> and <code>Non-zero exit code from 'sort --shared &lt; test-data'</code>

Status: Open.

#191 In leanprover/fp-lean;

· euprunin opened on Jun 3, 2025

[Typo] lakefile extension should be toml instead of lean

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

Status: Open.

#189 In leanprover/fp-lean;

· lwshang opened on May 26, 2025

<code>deriving Repr</code> no longer required for structures?

Status: Open.

#180 In leanprover/fp-lean;

· yuhan0 opened on Feb 12, 2025