Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

github.com/typelevel/CT_from_Programmers.scala

Scala sample code for Bartosz Milewski's CT for Programmers
https://github.com/typelevel/CT_from_Programmers.scala

Use wildcard pattern matching in Scala example (#79)

612a6072840ea4b9a79e2062d7571cfeb815e81b authored about 6 years ago by Ben Plommer <[email protected]>
symbole -> symbol (#75)

383d438d8bb7c6b88511f842d65548931e19a3e5 authored about 6 years ago by Matt Kohl <[email protected]>
Update 1.8-functoriality.md (#74)

Some redundancy removed.

3038d84838ef797fafbe1881ac01830275193112 authored over 6 years ago by Igal Tabachnik <[email protected]>
make consistent with ctfp-pdf

53082ab673cbcb6d771418d5b0f30a4fc8afc0ff authored over 6 years ago by Zelenya <[email protected]>
add part-1.6-simple-algebraic-data-types (#69)

2c4a336704deade2c4c00aa74301f955e6b8d2aa authored over 6 years ago by Zelenya <[email protected]>
add part 1.8-functoriality (#68)

0e365addf05d1eaa3a51a2d4afd22e3aebddc6c1 authored over 6 years ago by Zelenya <[email protected]>
add part 1.7-functors (#67)

de5582fa7bbc3027a5ba3215e6ec75cad87c1d7f authored over 6 years ago by Zelenya <[email protected]>
add part 1.5-products-and-coproducts (#66)

7d6a717ba358712cbcc70e14132f932170c50239 authored over 6 years ago by Zelenya <[email protected]>
add part 3.14-lawvere-theories (#65)

e4f99b0a4292f1a34c65ce0f0715941596c97e5b authored over 6 years ago by Zelenya <[email protected]>
add part 3.11-kan-extensions (#64)

b3140775c54ec536dac78adbce670f0f03cdf91f authored over 6 years ago by Zelenya <[email protected]>
add part-3.10-ends-and-coends (#63)

7d784ca4f2b6ea455cbdd1faea49ee239f78efc2 authored over 6 years ago by Zelenya <[email protected]>
add part 3.9-algebras-for-monads (#62)

589f29a288b28781434b374c9af2a670f8a4db57 authored over 6 years ago by Zelenya <[email protected]>
add part-3.8 f-algebras (#61)

2f3b955311e39d4811802ef6dac6dfb942655f4c authored over 6 years ago by Zelenya <[email protected]>
add part 3.7-comonads (#60)

8b4c4461ba52baa5cc6ff9b117b70fe1814f30f4 authored almost 7 years ago by Zelenya <[email protected]>
add part 3.6-monads-categorically (#59)

77d182c66b920a7660a7b03bcc33bae2e6c85536 authored almost 7 years ago by Zelenya <[email protected]>
add part 3.5-monads-and-effects (#58)

13f7c50e754cafb4ec039f4461f66f7874b02bd1 authored almost 7 years ago by Zelenya <[email protected]>
add part 3.2-adjunctions (#56)

a90242b2308a10f864db1583cdd7beac59a20067 authored almost 7 years ago by Zelenya <[email protected]>
add part 3.4-monads-programmers-definition (#57)

039cafa04189aa49d5eb73429e3cbac3341f59a0 authored almost 7 years ago by Zelenya <[email protected]>
add part 3.3-free-forgetful-adjunctions (#55)

4359fc3491fe49923d77d3b35022aa1cff3f1b93 authored almost 7 years ago by Zelenya <[email protected]>
chapter 3.1 (#54)

1cf1856078ddde66c1954fbe124a91ec74db789d authored almost 7 years ago by Piotr Gawryś <[email protected]>
add part 2.5-the-yoneda-lemma (#52)

467a67fc1b699ff17dfdb9998380f90334522d34 authored almost 7 years ago by Zelenya <[email protected]>
add part 2.6-yoneda-embedding (#53)

c3435dc76b24b1c285ff35405c4f1936a417a065 authored almost 7 years ago by Zelenya <[email protected]>
Merge pull request #51 from Zelenya/part-2.4-representable-functors

part-2.4, 'Representable Functors'

0036bf9a5ac56b8c67860c924a85aa1ef0b82659 authored almost 7 years ago by Fabio Labella <[email protected]>
add part-2.4-representable-functors

a41bd799a3e15ad9c4095e489da7f3c50454d45d authored almost 7 years ago by Zelenya <[email protected]>
add part-1.10-natural-transformations (#50)

508b6920a3ec9855d279221a0ec968429daddfc0 authored almost 7 years ago by Zelenya <[email protected]>
add identity function to part 1.1 (#49)

6d8518bc4ffc1b8afbce6b0d2a201236b9c9603c authored almost 7 years ago by Zelenya <[email protected]>
Merge pull request #48 from Zelenya/chapter-1.9

part 1.9, 'Function Types'

ca56e3f21eaa87cd389cb85f6831451378931771 authored almost 7 years ago by Fabio Labella <[email protected]>
add part 1.9

9a7eaba7b58c588dd22ea7683f6641ef23436368 authored almost 7 years ago by Zelenya <[email protected]>
chapter 2.3 (#47)

* chapter 2.3

* fixed wrong listing type

e2003fc675bd95719fab5b91b13511e2320920fe authored about 7 years ago by Piotr Gawryś <[email protected]>
added 2.2 (#43)

* added 2.2

* make some part compilable

* address feedback use a working prime symbol

*...

666e5042b33fc5741f68639bf54a5d0d0ae93c1a authored about 7 years ago by Kai(luo) Wang <[email protected]>
added guideline for prime symbole. (#44)

e09452656a2e8ae370a6fa6721cc8dcb7f6e1c96 authored about 7 years ago by Kai(luo) Wang <[email protected]>
added 2.1 (#42)

9047f1d2e3eadcc0739de2853bbf7f94f35f5005 authored over 7 years ago by Kai(luo) Wang <[email protected]>
Merge pull request #41 from kailuowang/master

renamed the files to include section number

86ee9564a7b6196b0f87a128d9a982ce93972e4e authored over 7 years ago by Fabio Labella <[email protected]>
renamed file to include section number

c2982dc31485f081ce3824322be155b6a5febb58 authored over 7 years ago by Kailuo Wang <[email protected]>
update readme to point to the issues (#40)

* update readme to point to the issues

* Update README.md

c1ca8308e606b1103a3395cbd3f4006932983de4 authored over 7 years ago by Kai(luo) Wang <[email protected]>
added gitter chat room

3a362a58aed27dafe3654e109b2682186d189466 authored over 7 years ago by Kai(luo) Wang <[email protected]>
translated part 1.4, 'Kleisli Categories' (#7)

* translated part 1.4, 'Kleisli Categories'

* removed unnecessary `this`

* Renaming + form...

d546568c08952453bbd85485ca3347b6e29500d1 authored over 7 years ago by srdjanm88 <[email protected]>
Merge pull request #6 from typelevel/add-style-guide-1

adding style guide

3ca0f2f6b27df63dae29a6a125d03794e70076ab authored over 7 years ago by Fabio Labella <[email protected]>
Merge pull request #4 from srdjanm88/categories-great-and-small

translated part 1.3, 'Categories Great and Small'

346270ce17e99bce3d30a25a07da6504fb2efe75 authored over 7 years ago by Kai(luo) Wang <[email protected]>
Merge pull request #3 from srdjanm88/types-and-functions

translated part 1.2 'Types and Functions'

703558c1009deb819b37d672d532da70c961c004 authored over 7 years ago by Kai(luo) Wang <[email protected]>
Update README.md

fa93e70885a11ea52270410aba1fc02b4591a92c authored over 7 years ago by Kai(luo) Wang <[email protected]>
changed `scala` tags to `tut:silent` on compilable snippets

ecf07bfc2f42cbe7ec0e70e43773dc5e7af1f6fd authored over 7 years ago by Srdjan Mitrovic <[email protected]>
changed `scala` tags to `tut:silent` tags on compilable snippets

0932dcab84c2647b3f668d094c3038898387a5e2 authored over 7 years ago by Srdjan Mitrovic <[email protected]>
adding style guide

6cb40db2e4ca0299a33557fdc0673fa468731236 authored over 7 years ago by Kai(luo) Wang <[email protected]>
Update README.md

cd71513015b18c5b974cd7977189b5f31ce64bec authored over 7 years ago by Kai(luo) Wang <[email protected]>
changed mappend from multi parameter list to single, stringMonoid from

`implicit object` to `implicit def` for safer implicit resolution

d321f4cb0d8a8813a7eebe2d2b072be3a79ac730 authored over 7 years ago by Srdjan Mitrovic <[email protected]>
postfix -> dots

df2a9eb7d1d7836d0d2a1ff7a941be73dd14ce6d authored over 7 years ago by Srdjan Mitrovic <[email protected]>
type annotation for `mempty` to keep things consistent

f5ae25a1843e7bd54b4ca0afafbbfabd07883ddf authored over 7 years ago by Srdjan Mitrovic <[email protected]>
translated part 1.3, 'Categories Great and Small'

93d1d51252ae42258c56d41992338c6d8b2cf84a authored over 7 years ago by Srdjan Mitrovic <[email protected]>
translated part 1.2 'Types and Functions'

2c515e7ec8936aea77998cdeae0acc5c317a56b9 authored over 7 years ago by Srdjan Mitrovic <[email protected]>
use dots to separate each translation pair.

7d66088d66f71f548cd4f54652e1388cdec8b753 authored over 7 years ago by Kai(luo) Wang <[email protected]>
Merge pull request #1 from typelevel/add-build-status

add build status

551cb786924f852fc2d42b466f4908d34689bb07 authored over 7 years ago by Kai(luo) Wang <[email protected]>
add build status

a406103f68dfec1c311fbe4150275541985769e6 authored over 7 years ago by Kai(luo) Wang <[email protected]>
minor correction

2f88fee9e14c86dde7eb5dfbafcecb88e15328e1 authored over 7 years ago by Kai(luo) Wang <[email protected]>
added travis

cea61b2165eb294afdd5220aaa022fd1ead5abc3 authored over 7 years ago by Kailuo Wang <[email protected]>
init

42deff5b6d9e75962b8d4d4d430524be09b87277 authored over 7 years ago by Kailuo Wang <[email protected]>
Create README.md

5de33f9d353a32dc4040ce1bc1f426943893982a authored over 7 years ago by Kai(luo) Wang <[email protected]>