arrow-kt Category-Theory-for-Programmers.kt issues

arrow-kt / Category-Theory-for-Programmers.kt

Kotlin sample code for Bartosz Milewski's CT for Programmers

105 stars 18 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Configure Renovate

#66 renovate[bot] closed 2 years ago
1
`./gradlew runAnk` is failing

#65 lgtout opened 4 years ago
0
runAnk in github action

#64 i-walker closed 4 years ago
0
2.4-representable-functors.md #15

#63 arioston closed 4 years ago
1
Add script to check Kotlin snippets style

#62 rachelcarmena closed 5 years ago
2
Add the possibility of downloading partial PDF file from artifacts menu

#61 rachelcarmena closed 5 years ago
2
Fix: section 2.2

#60 rachelcarmena opened 5 years ago
0
Fix: section 1.10

#59 rachelcarmena opened 5 years ago
0
Fix: section 1.7

#58 rachelcarmena opened 5 years ago
0
Add extra checks with GitHub actions

#57 rachelcarmena closed 5 years ago
7
Scripts

#56 rachelcarmena closed 5 years ago
0
1. 7 finish

#55 i-walker closed 5 years ago
0
update to 0-10-Snapshot

#54 i-walker closed 5 years ago
0
Update gitignore to ignore iml files generated by IntelliJ

#53 devesh-shetty closed 5 years ago
2
Change 2.2 Type isomorphism if supported

#52 i-walker opened 5 years ago
0
Translation issue with p.212 forgetful functor

#51 i-walker opened 5 years ago
0
Wrap up functors

#50 devesh-shetty closed 5 years ago
4
added 2.2

#49 i-walker closed 5 years ago
0
updated the build badge

#48 i-walker closed 5 years ago
0
1.10 Help needed

#47 i-walker closed 5 years ago
1
added a more idiomatic arrow approach

#46 i-walker closed 5 years ago
1
Added more Info's for contributors

#45 i-walker closed 5 years ago
0
changed class snippets into playground

#44 i-walker closed 5 years ago
3
Delete .DS_Store files

#43 i-walker closed 5 years ago
3
2.3-free-monoids.md #14

#42 arioston closed 5 years ago
4
1.7 pre work

#41 i-walker closed 5 years ago
0
update to 0.9.1

#40 i-walker closed 5 years ago
1
Update Arrow dependencies to 0.9.1-SNAPSHOT

#39 raulraja closed 5 years ago
1
1.6 simple ADT

#38 i-walker closed 5 years ago
14
Updated to arrow 0.9.0

#37 i-walker closed 5 years ago
10
Add 2.1 - Category theory and declarative programming

#36 LordRaydenMK closed 5 years ago
2
1.9 function types

#35 richard-gibson closed 5 years ago
0
1.2 types and functions

#34 LordRaydenMK closed 5 years ago
1
Products & Coproducts

#33 raulraja closed 5 years ago
0
Adding a note about indentation

#32 hmemcpy closed 5 years ago
1
code for 1.4 kleisli categories

#31 jasoet closed 5 years ago
0
Code for 1.3-categories-great-and-small

#30 jasoet closed 5 years ago
1
Integrate with PDF generation

#29 hmemcpy opened 5 years ago
16
3.9-algebras-for-monads.md

#28 raulraja opened 5 years ago
0
3.8-f-algebras.md

#27 raulraja opened 5 years ago
0
3.7-comonads.md

#26 raulraja opened 5 years ago
0
3.6-monads-categorically.md

#25 raulraja opened 5 years ago
0
3.5-monads-and-effects.md

#24 raulraja opened 5 years ago
0
3.4-monads-programmers-definition.md

#23 raulraja opened 5 years ago
0
3.3-free-forgetful-adjunctions.md

#22 raulraja opened 5 years ago
0
3.2-adjunctions.md

#21 raulraja opened 5 years ago
0
3.14-lawvere-theories.md

#20 raulraja opened 5 years ago
0
3.11-kan-extensions.md

#19 raulraja opened 5 years ago
0
3.10-ends-and-coends.md

#18 raulraja opened 5 years ago
0
2.6-yoneda-embedding.md

#17 raulraja opened 5 years ago
0