issues
search
typelevel
/
CT_from_Programmers.scala
Scala sample code for Bartosz Milewski's CT for Programmers
278
stars
39
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Use wildcard pattern matching in Scala example
#79
bplommer
closed
5 years ago
0
Changed snippet order
#78
hmemcpy
opened
5 years ago
1
Fixing wrong order
#77
hmemcpy
opened
5 years ago
3
Kailuowang patch 1
#76
ghost
closed
5 years ago
1
Documentation fix
#75
mattkohl
closed
5 years ago
1
Update 1.8-functoriality.md
#74
hmemcpy
closed
6 years ago
0
For 'deriving' bits (e.g. 1.8) - maybe use Kittens?
#73
hmemcpy
opened
6 years ago
1
Add Type Lambdas in Scala3 syntax as well
#72
hmemcpy
opened
6 years ago
1
Haskell code in Challenges
#71
hmemcpy
opened
6 years ago
2
Consistency with ctfp-pdf
#70
Zelenya
closed
6 years ago
1
part-1.6, 'Simple Algebraic Data Types'
#69
Zelenya
closed
6 years ago
0
part 1.8, 'Functoriality'
#68
Zelenya
closed
6 years ago
0
part 1.7, 'Functors'
#67
Zelenya
closed
6 years ago
0
part 1.5, 'Products and Coproducts'
#66
Zelenya
closed
6 years ago
0
part 3.14, 'Lawvere Theories'
#65
Zelenya
closed
6 years ago
0
part 3.11, 'Kan Extensions'
#64
Zelenya
closed
6 years ago
0
part-3.10, 'Ends and Coends'
#63
Zelenya
closed
6 years ago
0
part 3.9, Algebras for Monads
#62
Zelenya
closed
6 years ago
0
part 3.8, F-Algebras
#61
Zelenya
closed
6 years ago
0
part 3.7, 'Comonads'
#60
Zelenya
closed
6 years ago
0
part 3.6, 'Monads Categorically'
#59
Zelenya
closed
6 years ago
0
part 3.5, 'Monads and Effects'
#58
Zelenya
closed
6 years ago
1
part 3.4, 'Monads: Programmer's Definition'
#57
Zelenya
closed
6 years ago
0
part 3.2, 'Adjunctions'
#56
Zelenya
closed
6 years ago
1
part 3.3, 'Free/Forgetful Adjunctions'
#55
Zelenya
closed
6 years ago
0
Translate section 3.1
#54
Avasil
closed
6 years ago
1
part 2.6, 'Yoneda Embedding'
#53
Zelenya
closed
6 years ago
0
part 2.5, 'The Yoneda Lemma'
#52
Zelenya
closed
6 years ago
0
part-2.4, 'Representable Functors'
#51
Zelenya
closed
6 years ago
3
part 1.10, 'Natural Transformations'
#50
Zelenya
closed
6 years ago
0
add identity function to part 1.1
#49
Zelenya
closed
6 years ago
0
part 1.9, 'Function Types'
#48
Zelenya
closed
6 years ago
5
chapter 2.3
#47
Avasil
closed
6 years ago
0
translated part 1.6, 'Simple Algebraic Data Types'
#46
s-km
closed
6 years ago
3
Integrate with PDF gen somehow?
#45
tpolecat
opened
7 years ago
19
added guideline for prime symbol
#44
kailuowang
closed
6 years ago
0
added 2.2
#43
kailuowang
closed
6 years ago
1
added 2.1
#42
kailuowang
closed
7 years ago
0
renamed the files to include section number
#41
kailuowang
closed
7 years ago
0
update readme to point to the issues
#40
kailuowang
closed
7 years ago
1
Translate section 3.4
#39
SystemFw
closed
6 years ago
1
Translate section 3.15
#38
SystemFw
closed
6 years ago
1
Translate section 3.14
#37
SystemFw
closed
6 years ago
0
Translate section 3.13
#36
SystemFw
closed
6 years ago
1
Translate section 3.12
#35
SystemFw
closed
6 years ago
2
Translate section 3.11
#34
SystemFw
closed
6 years ago
0
Translate section 3.10
#33
SystemFw
closed
6 years ago
0
Translate section 3.9
#32
SystemFw
closed
6 years ago
0
Translate section 3.8
#31
SystemFw
closed
6 years ago
0
Translate section 3.7
#30
SystemFw
closed
6 years ago
0
Next