github.com/typelevel/CT_from_Programmers.scala issues

Use wildcard pattern matching in Scala example

bplommer opened this pull request about 6 years ago

Changed snippet order

hmemcpy opened this pull request about 6 years ago

Fixing wrong order

hmemcpy opened this pull request about 6 years ago

Kailuowang patch 1

ghost opened this pull request about 6 years ago

Documentation fix

mattkohl opened this pull request about 6 years ago

Update 1.8-functoriality.md

hmemcpy opened this pull request over 6 years ago

For 'deriving' bits (e.g. 1.8) - maybe use Kittens?

hmemcpy opened this issue over 6 years ago

Add Type Lambdas in Scala3 syntax as well

hmemcpy opened this issue over 6 years ago

Haskell code in Challenges

hmemcpy opened this issue over 6 years ago

Consistency with ctfp-pdf

Zelenya opened this pull request over 6 years ago

part-1.6, 'Simple Algebraic Data Types'

Zelenya opened this pull request over 6 years ago

part 1.8, 'Functoriality'

Zelenya opened this pull request over 6 years ago

part 1.7, 'Functors'

Zelenya opened this pull request over 6 years ago

part 1.5, 'Products and Coproducts'

Zelenya opened this pull request over 6 years ago

part 3.14, 'Lawvere Theories'

Zelenya opened this pull request over 6 years ago

part 3.11, 'Kan Extensions'

Zelenya opened this pull request over 6 years ago

part-3.10, 'Ends and Coends'

Zelenya opened this pull request over 6 years ago

part 3.9, Algebras for Monads

Zelenya opened this pull request almost 7 years ago

part 3.8, F-Algebras

Zelenya opened this pull request almost 7 years ago

part 3.7, 'Comonads'

Zelenya opened this pull request almost 7 years ago

part 3.6, 'Monads Categorically'

Zelenya opened this pull request almost 7 years ago

part 3.5, 'Monads and Effects'

Zelenya opened this pull request almost 7 years ago

part 3.4, 'Monads: Programmer's Definition'

Zelenya opened this pull request almost 7 years ago

part 3.2, 'Adjunctions'

Zelenya opened this pull request almost 7 years ago

part 3.3, 'Free/Forgetful Adjunctions'

Zelenya opened this pull request almost 7 years ago

Translate section 3.1

Avasil opened this pull request almost 7 years ago

part 2.6, 'Yoneda Embedding'

Zelenya opened this pull request almost 7 years ago

part 2.5, 'The Yoneda Lemma'

Zelenya opened this pull request almost 7 years ago

part-2.4, 'Representable Functors'

Zelenya opened this pull request almost 7 years ago

part 1.10, 'Natural Transformations'

Zelenya opened this pull request almost 7 years ago

add identity function to part 1.1

Zelenya opened this pull request almost 7 years ago

part 1.9, 'Function Types'

Zelenya opened this pull request almost 7 years ago

chapter 2.3

Avasil opened this pull request about 7 years ago

translated part 1.6, 'Simple Algebraic Data Types'

s-km opened this pull request over 7 years ago

Integrate with PDF gen somehow?

tpolecat opened this issue over 7 years ago

added guideline for prime symbol

kailuowang opened this pull request over 7 years ago

added 2.2

kailuowang opened this pull request over 7 years ago

added 2.1

kailuowang opened this pull request over 7 years ago

renamed the files to include section number

kailuowang opened this pull request over 7 years ago

update readme to point to the issues

kailuowang opened this pull request over 7 years ago

Translate section 3.4