github.com/typelevel/typelevel.github.com commits

add libisabelle to the incubator

Closes typelevel/general#56

74f036d67a3c878a00c4b87265d9c6d12d1bd636 authored almost 8 years ago

NYC: sponsors

b5a49a4f9bd5b1d09c99c7087ca91a697fa6a480 authored almost 8 years ago

NYC: after party

c7e12c84bd118b838e9232438cb8b6668c5ecb5d authored almost 8 years ago

no mathjax needed

f29fa3983c24893c9a3fc89c98dcc65e7982ff31 authored almost 8 years ago

NYC: sponsors

4958375a60f3b256eb899ce5bb0e5ed332d14b61 authored almost 8 years ago

Merge pull request #148 from jarrodwb/rss-fixes

make rss great again

d6d8ecff212f906ce4371703887f2f72c9a94a8e authored almost 8 years ago

NYC: schedule

a79e15b0f81df2b8d50576c8b525e3520be15543 authored almost 8 years ago

NYC: schedule

cc055bb1676e6080364cfca5755c05b590b1b20c authored almost 8 years ago

NYC: sponsors

a1f9b89d1d31a2e4bca258de40313f564cb9689c authored almost 8 years ago

solution for license in every RSS item description

b27e85894d0e19b3309d1179567322eeaea3de3c authored almost 8 years ago

factored license out into an include and added license to each post

164c333224e215b612d1009d0f3f49eed9eaf63c authored almost 8 years ago

fix bug in RSS feed so authors are displayed

https://gist.githubusercontent.com/jarrodwb/003ea9995134bde814e6d3545529e483/raw/ab668212d9babc8...

f95735c806ee51e4fa3be4d3f6a30b30cf27a427 authored almost 8 years ago

make rss great again

I am a user of rss feed aggregators and find the current rss feed not as
useful as it could be. ...

266ea08bc93ac5f148d87d1e2ec4e7a17da75f90 authored almost 8 years ago

Merge pull request #147 from S11001001/four-ways-to-escape-a-cake+tut

tutify "Four ways to escape a cake"

714e9cf253f35532a6612ded9844f3ee11286424 authored almost 8 years ago

tut:fail works, but output doesn't include an important element to later text

613317d01d499d7048970d85e62916795773210b authored almost 8 years ago

Tutify "Four ways to escape a cake"

c3d56ad248f4f9ea6e5b633752a9e48363e6612b authored almost 8 years ago

tut:fail first fetchIter

e0a4224f0d1762b34c559de29b4536ad2b7f957d authored almost 8 years ago

Merge pull request #146 from S11001001/four-ways-to-escape-a-cake

New post: "Four ways to escape a cake"

a4eb3f1e24c6e59e43a7ee930a7413ee8b14736b authored almost 8 years ago

Well, we can do it...

9bdf84360f53df797e87cce3f71fd0a6a98cde9d authored almost 8 years ago

Try a little more evocative opening

cd43f1f1d280928b51deb9fb14826a7b12433a6e authored almost 8 years ago

Expand invariant/contravariant to incorporate `with Singleton` discussion

Thanks to @durban for pointing out that things work better than they
seemed to me.

13ecc3faaae8a13ae1c432614369878d45348c56 authored almost 8 years ago

NYC: sponsors

b251e367f018fa11bbcdd4210d28d12cce4d8c25 authored almost 8 years ago

avoid randomness in blog posts

fce6a0363a952f63356a80d362fafa95c80a1b12 authored almost 8 years ago

Merge pull request #145 from S11001001/tutify-more-types-than-classes

Tutify "There are more types than classes"

e76292b5a1882f1b101c05c6bc22db4a0af7bede authored almost 8 years ago

Ellipsis!

381b675db4781a7331da346c8e475972b16e5882 authored almost 8 years ago

New post: "Four ways to escape a cake"

Exported from
https://usecanvas.com/typetype/four-ways-to-escape-a-cake/4cQUfcfGrxVfwIcQceeGnv

bcaec2f89535a389d559baa9f4a814fa5327d810 authored almost 8 years ago

Funny characters and non-breaking spaces

274671ebf8a0a024b04248624b7398c1904113c6 authored almost 8 years ago

Further non-breaking space

c63d1359db79be3048052bd5e33c80e6d9940e8b authored almost 8 years ago

Use JDK8 for tut in Travis, hopefully.

e1f26efc6abc69a76872e1d6911854a2a2df95ef authored almost 8 years ago

Tut-guard parts of "There are more types than classes" not drastically changed by being tut-processed.

8b1be22a67f30b32e8e527d7c41e8e8ffb01a497 authored almost 8 years ago

Upgrade to tut 0.4.8 for Scala 2.12 support.

cd8562a0c7edccfb7b588b199f1a0cb3eb6b3732 authored almost 8 years ago

NYC: sponsors

7e020b66e2ad090d42aff9fd73766425219363d7 authored almost 8 years ago

NYC: sponsors

da37fefc34a40b580433cd95a46b558f9295e7ff authored almost 8 years ago

Mention Function1

Thanks to @non in #143 for the suggestion.

1f53f2c73f9a81447fa1cc4a612f1230b7fb9e77 authored almost 8 years ago

Merge pull request #143 from S11001001/more-types-than-classes

New post: 'There are more types than classes'

821d814a9317ecf9aad8ac2d1fba674cd4816f04 authored almost 8 years ago

Demo `val greeting`'s non-relationship to "hi there!"'s literal type

Thanks to @propensive in #143 for the suggestion.

2bc316624a196f17f4dd864b8856f1da5b3fa6fe authored almost 8 years ago

Prevent some line breaks in inline code

e97ed58af2a0f12ec4713af228c9cd1d1faf9dff authored almost 8 years ago

New post: 'There are more types than classes'

c4622dcbb7b51ebc396b7aa7630b016e02fa4f90 authored almost 8 years ago

Funny characters

103e46084e8279921efbaa66312a9607aeecc292 authored almost 8 years ago

NYC: sponsors

89a8525ab8e6a78eba341e2fba20cfc151c0578f authored almost 8 years ago

NYC: keynote

67d31e7fcbab8686dd367b411f699b20910ff9b8 authored almost 8 years ago

Merge pull request #142 from dreadedsoftware/development

updating my bio: new employer

63a96c4b4c319c54235d4442d3e199893be53459 authored almost 8 years ago

updating my bio: new employer

45c2c3cfbcf129cc75275dc6d14d5088a00d2cc7 authored almost 8 years ago

Cadiz: event is over

f790f64c27920bf8821cc252279dc1a55eecdb52 authored about 8 years ago

bump github-pages gem

c083cf57b38af01bbaa48b7d4ef593021656529a authored about 8 years ago

Penrith: event is over

0f5d0504a37248530d6dfa4d8237d27d792128bf authored about 8 years ago

fix link

e436c9305dff584fdd94101e2433a9f82bf3c6f9 authored about 8 years ago

Merge pull request #141 from larsrh/topic/nyc

NYC: accepted talks

a0adc62ff3f309d8bfed01f836c81ce288d3a2f6 authored about 8 years ago

fix bios

365f3aede1f649eb401769bbe73afcda5ce02d45 authored about 8 years ago

NYC: more speakers

34a38eb315fd451247b428226612c2d1c79f942e authored about 8 years ago

NYC: more speakers

b90ac1aecccbf2be88c4f64a8e8237dfa15f1251 authored about 8 years ago

NYC: accepted talks

578826dd329e7727e3eeab56d986b01274a046a9 authored about 8 years ago

CPH: ticket sales

8a1d35986b9cf952a80ceddfb9f1e5ac99d0f4d8 authored about 8 years ago

NYC: CfP closed

e8bb8c134451cbf9ad2c6e06b875c760c61ed292 authored about 8 years ago

NYC: ticket sales

133bbf86a072c827a36d8a47c1a28d4a79af6bc2 authored about 8 years ago

Merge pull request #140 from robinske/kr/add-code-of-conduct

Add code of conduct section and links to Summit events

389b9745f3917711150fb108fd20eb87f893b7ec authored about 8 years ago

Move CoC paragraph into 'About the Summit' section

32e3dbece567fed7d54b9d10a831083991e9090a authored about 8 years ago

Add code of conduct section and links to Summit events

43d6620d5e7e6dd2934d59645d2f0440ee521c67 authored about 8 years ago

NYC: tickets & venue

bef21b9e1ac2eef9d367dcbc9c3335017dbcae3f authored about 8 years ago

clarify CfP deadline

9fb3669a91145f0b4ca0ffdb30791a3e01d87397 authored about 8 years ago

clarify NYC venue

c6f0a9189b8eb0ab0b556ef7192093a1ef287916 authored about 8 years ago

Merge pull request #138 from larsrh/topic/summits-2017

Typelevel Summit, 2017 edition

a7fac44ae346e82246487abff8fca17373f52931 authored about 8 years ago

update CPH event

9ab6b688b3b5124c572a736d690da74c54bd9c02 authored about 8 years ago

update NYC event

a41b85576a4c70f28f9fa66e50fbfe45313095d3 authored about 8 years ago

update NYC event

c1c1dfedb9b9454e5bd9f434bb1b33735882cb0f authored about 8 years ago

prominent display of events on homepage

f3d8130f9420747c8cd7656d62a4c36ec25d3342 authored about 8 years ago

image credits

5fce2dd7b55482f9fe6242ef6e6bfeb51fa37094 authored about 8 years ago

Draft: CPH Summit 2017

35d479eb49398f5dfd58fca2467677c792b8c883 authored about 8 years ago

Draft: NYC Summit 2017

a7118c3a0c682babcc0ebd0516f791e383a8ff2b authored about 8 years ago

Added November hack day (it's over, but for completeness' sake)

4df3a7c4f796128132ff3002574a6c444a378c3d authored about 8 years ago

Added January hack day

56f7783b7c37132a47844095157c9595858148ad authored about 8 years ago

tuned

6fab6cc597380fbe4d34fda6e4e80c37694405cc authored about 8 years ago

Merge pull request #137 from larsrh/topic/coc

new post: endorsing the new Scala CoC

1cad7a5b87f4c8c36b5ab25c337b4c2d8c4b5cde authored about 8 years ago

new post: endorsing the new Scala CoC

82cc90c8e369dcd5216f6ef181b09254b72ca17c authored about 8 years ago

Merge pull request #136 from etorreborre/eff-cats-renaming

The eff-cats library has been renamed to eff

84ed42cad376f16aeff4cf69cf1574fafc0075c6 authored about 8 years ago

The eff-cats library has been renamed to eff

8804f71652e956819722b8442190eadb24825fb4 authored about 8 years ago

consistent file names

9e7a093f72bd0b7a99679c78fa50d00e68187d19 authored about 8 years ago

fix mode

9ab39c6e275995c04b278e94cb78811cc95d8c8d authored about 8 years ago

there will be no update on this article

e2b778fa54a8692c306eee8125e6227bd54c2769 authored about 8 years ago

Merge pull request #135 from wheaties/patch-1

TwoTails to Incurbator Status

f041d4a25e7a745e8b415eb1ec24071695e9c699 authored about 8 years ago

TwoTails to Incurbator Status

Following directions in https://github.com/typelevel/general/issues/48

787c4d40c57be1939fbe0de9b2c63cc19a049a8c authored about 8 years ago

Merge pull request #134 from davegurnell/development

Add ScalaxHack event

2b9b42464c83d3d4b56aed4a14833f58b7e49dba authored about 8 years ago

Move London skyline attribution to about.html

c37664e302e50bca0fc8472d28c2e687d696996f authored about 8 years ago

Update 2016-12-10-scalaxhack.md

cc61a328d5cb6278fded02b1aeb1b86c341fb847 authored about 8 years ago

typo

55b55bbdd92384720838eb4ff51ca6782738ab7c authored about 8 years ago

Merge pull request #133 from larsrh/topic/post-okasaki

new post: API Design for Heaps (aka Priority Queues)

b48f723a1a43badf99c9b0439a8b691fb6d59d2a authored about 8 years ago

Add ScalaxHack event

5ecad050d57cb56efb70a5e4f15d929a3e6e17ff authored about 8 years ago

new post: API Design for Heaps (aka Priority Queues)

6d49ffe94a0f7d6a3e26942a3a642d06ad9753ff authored about 8 years ago

Merge pull request #132 from coltfred/addCatsScalatest

Add cats-scalatest as an incubator project

b190f72aca75b26bb248af5f1afc6befc34e69c9 authored about 8 years ago

Add cats-scalatest as an incubator project

f0d0f29256f963b3ab0228190201bf607a9c9976 authored about 8 years ago

Merge pull request #120 from adelbertc/edsl-pt-2

New blog post: EDSLs as functions

52ee31191cb34a7aa82a0f385faf6332f7832057 authored over 8 years ago

New blog post: EDSLs as functions

1d9ced6277899fc13a33fff1bc2f73dfa030eb30 authored over 8 years ago

fix link to Scala Center announcement

0e83d13c63a6010949091696aafd63982df378df authored over 8 years ago

Merge pull request #126 from larsrh/topic/post-scala-center

Announcement: Scala Center Advisory Board

aa2dcdcf0b595594bac2101b179f4e9abcf54ba1 authored over 8 years ago

link to Scala Center announcement

54ad2d57ee9dd1cdc6369922be943b32470f55f5 authored over 8 years ago

Merge pull request #131 from sksamuel/patch-1

Added scoverage

4616b501a98f32a26ad4df268a95ad42ff9a2c38 authored over 8 years ago

Added scoverage

000e1061d7b3add9dc89556460cd59268bfed691 authored over 8 years ago

postpone post

05a8307319774693d6af769d2c2915ae5209409b authored over 8 years ago

correction in the ScalaCheck post

dea0e519d553b9e017d8323dacfc018f8ceb6b9f authored over 8 years ago

Merge pull request #127 from larsrh/topic/minicheck

New post: Let's build ourselves a small ScalaCheck

cff05b2968a5494b5bfd83d4560e831cf696410b authored over 8 years ago

Ecosyste.ms: OpenCollective

github.com/typelevel/typelevel.github.com