issues
search
lean-ja
/
fp-lean-ja
Functional Programming in Lean の日本語訳. 演習問題への解答を含みます(作業中 🚧)
https://lean-ja.github.io/fp-lean-ja/
Other
7
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
タイポ修正
#90
s-taiga
closed
2 weeks ago
0
2.5章 conveniences
#89
s-taiga
closed
2 weeks ago
0
2.6章 summary
#88
s-taiga
closed
2 weeks ago
0
11章 next-steps
#87
s-taiga
closed
2 weeks ago
0
10.8章 summary
#86
s-taiga
closed
3 weeks ago
0
10.7章 special-type
#85
s-taiga
closed
3 weeks ago
0
10.6章 insertion-sort
#84
s-taiga
closed
3 weeks ago
0
10.5章 fin
#83
s-taiga
closed
3 weeks ago
0
10.4章 inequalities
#82
s-taiga
closed
3 weeks ago
0
10.3章 arrays-termination
#81
s-taiga
closed
4 weeks ago
0
10.2章 tail-recursion-proofs
#80
s-taiga
closed
4 weeks ago
0
10.1章 tail-recursion
#79
s-taiga
closed
1 month ago
0
10章 programs-proofs
#78
s-taiga
closed
1 month ago
0
9章 tactics-induction-proofs
#77
s-taiga
closed
1 month ago
0
8.6章 summary
#76
s-taiga
closed
1 month ago
0
8.5章 pitfalls
#75
s-taiga
closed
1 month ago
0
8.4章 indices-parameters-universes
#74
s-taiga
closed
1 month ago
0
8.3章 typed-queries
#73
s-taiga
closed
1 month ago
0
8.2章 universe-pattern
#72
s-taiga
closed
1 month ago
0
8.1章 indexed-families
#71
s-taiga
closed
1 month ago
0
8章 dependent-types
#70
s-taiga
closed
1 month ago
0
7.6章 summary
#69
s-taiga
closed
1 month ago
0
7.5章 conveniences
#68
s-taiga
closed
1 month ago
0
7.4章 do
#67
s-taiga
closed
1 month ago
0
7.3章 order
#66
s-taiga
closed
1 month ago
0
7.2章 transformers
#65
s-taiga
closed
1 month ago
0
7.1章 reader-io
#64
s-taiga
closed
1 month ago
0
7章 monad-transformers
#63
s-taiga
closed
1 month ago
0
句読点を「、」と「。」に統一するよう翻訳ルールを変更+レビュー済のファイルについて句読点の置換を実施
#62
aconite-ac
closed
2 months ago
2
句読点を `、` と `。` に変更する
#61
Seasawher
closed
2 months ago
3
6.7章 summary
#60
s-taiga
closed
1 month ago
0
review 1章導入:Lean を知る
#59
aconite-ac
closed
2 months ago
1
review イントロダクション
#58
aconite-ac
closed
2 months ago
1
6.6章 complete
#57
s-taiga
closed
1 month ago
0
6.5章 universes
#56
s-taiga
closed
1 month ago
0
6.4章 alternative
#55
s-taiga
closed
1 month ago
0
6.3章 applicative-contract
#54
s-taiga
closed
1 month ago
0
6.2章 applicative
#53
s-taiga
closed
1 month ago
0
solve exercises for DoNotation
#52
ondanaoto
closed
3 months ago
0
6.1章 inheritance
#51
s-taiga
closed
1 month ago
0
6章 functor-applicative-monad
#50
s-taiga
closed
1 month ago
0
5.6章 summary
#49
s-taiga
closed
1 month ago
0
5.5章 conveniences
#48
s-taiga
closed
1 month ago
0
5.4章 io
#47
s-taiga
closed
1 month ago
0
5.3章 do
#46
s-taiga
closed
1 month ago
0
5.2章 arithmetic
#45
s-taiga
closed
1 month ago
0
5.1章 class
#44
s-taiga
closed
1 month ago
0
2.4章 cat
#43
imamuray
opened
3 months ago
0
5章 monads
#42
s-taiga
closed
1 month ago
0
4.8章 summary
#41
s-taiga
closed
1 month ago
0
Next