corpus.blog
41554 blogs · 4,504,310 posts Claim your blog
Record · corpus.blog/posts/01a08746-2f85-7231-80d5-fb6114487e19

Lean For Haskell Developers

blog.cofree.coffee · published 3 March 2024

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.cofree.coffee Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
35
Words captured
1,015

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://lean-lang.org/
lean-lang.org
https://github.com/solomon-b/blog.cofree.coffee/issues
github.com
https://github.com/leanprover/elan
github.com
https://github.com/leanprover/lean4/tree/master/src/lake
github.com
https://lean-lang.org/functional_programming_in_lean
lean-lang.org
https://lean-lang.org/functional_programming_in_lean/dependent-types/indices-parameters-universes.html
lean-lang.org
https://lean-lang.org/theorem_proving_in_lean4/dependent_type_theory.html
lean-lang.org
https://loogle.lean-lang.org/
loogle.lean-lang.org
https://leanprover-community.github.io/mathlib4_docs/Init/Prelude.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Init/Control/Basic.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Mathlib/Control/Bifunctor.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Group/Defs.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Mathlib/Control/Traversable/Basic.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Mathlib/CategoryTheory/Category/Basic.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Mathlib/CategoryTheory/Functor/Basic.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Init/Control/Id.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Init/Control/Reader.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Init/System/IO.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Init/Control/State.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Init/Control/Option.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Init/Core.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Std/Data/HashMap/Basic.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Init/Data/String/Basic.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Init/Data/String/Extra.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Lean/Data/Json/FromToJson.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Lean/Parser/Basic.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Init/System/FilePath.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Init/System/Mutex.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Init/System/Promise.html
leanprover-community.github.io
https://leanprover-community.github.io/mathlib4_docs/Init/Data/Channel.html
leanprover-community.github.io
https://lean-lang.org/functional_programming_in_lean/
lean-lang.org
https://leanprover.github.io/theorem_proving_in_lean4/
leanprover.github.io
https://reservoir.lean-lang.org/
reservoir.lean-lang.org
https://leanprover-community.github.io/
leanprover-community.github.io
https://lean-lang.org/lean4/doc/
lean-lang.org