typelevel/CT_from_Programmers.scala issues and pull requests

#79 - Use wildcard pattern matching in Scala example

Pull Request - State: closed - Opened by bplommer over 5 years ago

#78 - Changed snippet order

Pull Request - State: open - Opened by hmemcpy over 5 years ago - 1 comment

#77 - Fixing wrong order

Pull Request - State: open - Opened by hmemcpy over 5 years ago - 3 comments

#76 - Kailuowang patch 1

Pull Request - State: closed - Opened by ghost over 5 years ago - 1 comment

#75 - Documentation fix

Pull Request - State: closed - Opened by mattkohl over 5 years ago - 1 comment

#74 - Update 1.8-functoriality.md

Pull Request - State: closed - Opened by hmemcpy almost 6 years ago

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

Issue - State: open - Opened by hmemcpy almost 6 years ago - 1 comment

#72 - Add Type Lambdas in Scala3 syntax as well

Issue - State: open - Opened by hmemcpy almost 6 years ago - 1 comment

#71 - Haskell code in Challenges

Issue - State: open - Opened by hmemcpy almost 6 years ago - 2 comments

#70 - Consistency with ctfp-pdf

Pull Request - State: closed - Opened by Zelenya almost 6 years ago - 1 comment

#69 - part-1.6, 'Simple Algebraic Data Types'

Pull Request - State: closed - Opened by Zelenya about 6 years ago

#68 - part 1.8, 'Functoriality'

Pull Request - State: closed - Opened by Zelenya about 6 years ago

#67 - part 1.7, 'Functors'

Pull Request - State: closed - Opened by Zelenya about 6 years ago

#66 - part 1.5, 'Products and Coproducts'

Pull Request - State: closed - Opened by Zelenya about 6 years ago

#65 - part 3.14, 'Lawvere Theories'

Pull Request - State: closed - Opened by Zelenya about 6 years ago

#64 - part 3.11, 'Kan Extensions'

Pull Request - State: closed - Opened by Zelenya about 6 years ago

#63 - part-3.10, 'Ends and Coends'

Pull Request - State: closed - Opened by Zelenya about 6 years ago

#62 - part 3.9, Algebras for Monads

Pull Request - State: closed - Opened by Zelenya over 6 years ago

#61 - part 3.8, F-Algebras

Pull Request - State: closed - Opened by Zelenya over 6 years ago

#60 - part 3.7, 'Comonads'

Pull Request - State: closed - Opened by Zelenya over 6 years ago

#59 - part 3.6, 'Monads Categorically'

Pull Request - State: closed - Opened by Zelenya over 6 years ago

#58 - part 3.5, 'Monads and Effects'

Pull Request - State: closed - Opened by Zelenya over 6 years ago - 1 comment

#57 - part 3.4, 'Monads: Programmer's Definition'

Pull Request - State: closed - Opened by Zelenya over 6 years ago

#56 - part 3.2, 'Adjunctions'

Pull Request - State: closed - Opened by Zelenya over 6 years ago - 1 comment

#55 - part 3.3, 'Free/Forgetful Adjunctions'

Pull Request - State: closed - Opened by Zelenya over 6 years ago

#54 - Translate section 3.1

Pull Request - State: closed - Opened by Avasil over 6 years ago - 1 comment

#53 - part 2.6, 'Yoneda Embedding'

Pull Request - State: closed - Opened by Zelenya over 6 years ago

#52 - part 2.5, 'The Yoneda Lemma'

Pull Request - State: closed - Opened by Zelenya over 6 years ago

#51 - part-2.4, 'Representable Functors'

Pull Request - State: closed - Opened by Zelenya over 6 years ago - 3 comments

#50 - part 1.10, 'Natural Transformations'

Pull Request - State: closed - Opened by Zelenya over 6 years ago

#49 - add identity function to part 1.1

Pull Request - State: closed - Opened by Zelenya over 6 years ago

#48 - part 1.9, 'Function Types'

Pull Request - State: closed - Opened by Zelenya over 6 years ago - 5 comments

#47 - chapter 2.3

Pull Request - State: closed - Opened by Avasil over 6 years ago

#46 - translated part 1.6, 'Simple Algebraic Data Types'

Pull Request - State: closed - Opened by s-km over 6 years ago - 3 comments

#45 - Integrate with PDF gen somehow?

Issue - State: open - Opened by tpolecat almost 7 years ago - 19 comments

#44 - added guideline for prime symbol

Pull Request - State: closed - Opened by kailuowang almost 7 years ago

#43 - added 2.2

Pull Request - State: closed - Opened by kailuowang almost 7 years ago - 1 comment

#42 - added 2.1

Pull Request - State: closed - Opened by kailuowang almost 7 years ago

#41 - renamed the files to include section number

Pull Request - State: closed - Opened by kailuowang almost 7 years ago

#40 - update readme to point to the issues

Pull Request - State: closed - Opened by kailuowang almost 7 years ago - 1 comment

#39 - Translate section 3.4

Issue - State: closed - Opened by SystemFw almost 7 years ago - 1 comment

#38 - Translate section 3.15

Issue - State: closed - Opened by SystemFw almost 7 years ago - 1 comment

#37 - Translate section 3.14

Issue - State: closed - Opened by SystemFw almost 7 years ago

#36 - Translate section 3.13

Issue - State: closed - Opened by SystemFw almost 7 years ago - 1 comment

#35 - Translate section 3.12

Issue - State: closed - Opened by SystemFw almost 7 years ago - 2 comments

#34 - Translate section 3.11

Issue - State: closed - Opened by SystemFw almost 7 years ago

#33 - Translate section 3.10

Issue - State: closed - Opened by SystemFw almost 7 years ago

#32 - Translate section 3.9

Issue - State: closed - Opened by SystemFw almost 7 years ago

#31 - Translate section 3.8

Issue - State: closed - Opened by SystemFw almost 7 years ago

#30 - Translate section 3.7

Issue - State: closed - Opened by SystemFw almost 7 years ago

#29 - Translate section 3.6

Issue - State: closed - Opened by SystemFw almost 7 years ago - 1 comment

#28 - Translate section 3.5

Issue - State: closed - Opened by SystemFw almost 7 years ago - 1 comment

#27 - Translate section 3.3

Issue - State: closed - Opened by SystemFw almost 7 years ago

#26 - Translate section 3.2

Issue - State: closed - Opened by SystemFw almost 7 years ago - 1 comment

#25 - Translate section 3.1

Issue - State: closed - Opened by SystemFw almost 7 years ago - 1 comment

#24 - Translate section 2.6

Issue - State: closed - Opened by SystemFw almost 7 years ago

#23 - Translate section 2.5

Issue - State: closed - Opened by SystemFw almost 7 years ago - 2 comments

#22 - Translate section 2.4

Issue - State: closed - Opened by SystemFw almost 7 years ago - 1 comment

#21 - Translate section 2.3

Issue - State: closed - Opened by SystemFw almost 7 years ago - 2 comments

#20 - Translate section 2.2

Issue - State: closed - Opened by SystemFw almost 7 years ago

#19 - Translate section 2.1

Issue - State: closed - Opened by SystemFw almost 7 years ago

#18 - Translate section 1.10

Issue - State: closed - Opened by SystemFw almost 7 years ago - 1 comment

#17 - Translate section 1.9

Issue - State: closed - Opened by SystemFw almost 7 years ago - 3 comments

#16 - Translate section 1.8

Issue - State: closed - Opened by SystemFw almost 7 years ago - 1 comment

#15 - Translate section 1.7

Issue - State: closed - Opened by SystemFw almost 7 years ago - 1 comment

#14 - Translate section 1.6

Issue - State: closed - Opened by SystemFw almost 7 years ago - 1 comment

#13 - Translate section 1.5

Issue - State: closed - Opened by SystemFw almost 7 years ago - 2 comments

#12 - Translate section 1.4

Issue - State: closed - Opened by SystemFw almost 7 years ago

#11 - Translate section 1.3

Issue - State: closed - Opened by SystemFw almost 7 years ago

#10 - Translate section 1.2

Issue - State: closed - Opened by SystemFw almost 7 years ago

#9 - Translate section 1.1

Issue - State: closed - Opened by SystemFw almost 7 years ago

#8 - Keep track of ongoing work

Issue - State: closed - Opened by SystemFw almost 7 years ago - 9 comments

#7 - translated part 1.4, 'Kleisli Categories'

Pull Request - State: closed - Opened by s-km almost 7 years ago

#6 - adding style guide

Pull Request - State: closed - Opened by kailuowang almost 7 years ago - 5 comments

#5 - Create style guide

Issue - State: closed - Opened by SystemFw almost 7 years ago - 2 comments

#4 - translated part 1.3, 'Categories Great and Small'

Pull Request - State: closed - Opened by s-km almost 7 years ago

#3 - translated part 1.2 'Types and Functions'

Pull Request - State: closed - Opened by s-km almost 7 years ago - 3 comments

#2 - Hello I am new to coding and programming but I am looking for experience

Pull Request - State: closed - Opened by Richardson-Rayshorn almost 7 years ago - 1 comment

#1 - add build status

Pull Request - State: closed - Opened by kailuowang almost 7 years ago

GitHub / typelevel/CT_from_Programmers.scala issues and pull requests