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

Clarify "community staff" in CoC

This is a first pass at a resolution to #33.

I've added email links for a few people that alrea...

5ec34f673b86771ce245e83ac0809f3d58ac1777 authored over 9 years ago

Clarify "community venues" in CoC

This is a first pass at a resolution for #32. There is almost certainly
room for improvement and...

a8fba57b2b254fd36c18565f72491c55a84213a2 authored over 9 years ago

Link from part 6 to 7.

f49666c290b49e2bd1b21d2cb2b73135af386a28 authored almost 10 years ago

New post: "To change types, change values". (#52)

273dcd65a3f27de81809f559ea44cdc5523b08fa authored almost 10 years ago

Clarifications from hand review of first draft.

1987aa3aec072913faefc1850094316f59bf973a authored almost 10 years ago

Remove stray arrow

f3ded47fe74872752afc532f0dfbcf698bce2fa4 authored almost 10 years ago

Don't imply that this is so dependent on previous posts.

5c55d2b35893f579c5b51f12557c6b27508cfddb authored almost 10 years ago

ASCII art versions of the diagrams.

ab703a2ebd85f7f30d4d7074243304f2289022c3 authored almost 10 years ago

Rinse away the seam in the drafting.

d77359f794bcb98d2d5d8c6cd1c15bdfc6a02e5c authored almost 10 years ago

Add missing code blocks.

e6264b0dbca8e323530a1ba6743997c30f799df7 authored almost 10 years ago

Delay part 7 by a week.

dac1981679117c2e13b232e5694da11719d0f954 authored almost 10 years ago

Name next post and the essential section of this one.

689bc37207bd8f78b3f43d9fb89a0f9faaf765f4 authored almost 10 years ago

Fix and fill in code samples after testing.

3d34e71a193944386c525d63c5906c18ee098b9b authored almost 10 years ago

First draft: "To change types, change values"

a6e09412a04b3bc2676578b33077c1e42ed94d04 authored almost 10 years ago

fix type error

732a6a3ea2f03c0edf435f9ed6f33d0a38555397 authored almost 10 years ago

Merge pull request #51 from larsrh/topic/post-operators

New post: Symbolic operators and type classes for Cats

8ba4a3e470344a9e714e1d2ae129a8bdc205cad9 authored almost 10 years ago

address feedback

2c55fb161cf006a9f8be631b97d8274e85ddd771 authored almost 10 years ago

address feedback

e9cf1bfba20081aae25f685d8582bf9796b26fba authored almost 10 years ago

add post: Symbolic operators and type classes for Cats

Original author: Erik Osheim
Source: https://gist.github.com/non/3abdb35a72c39276d3d9

46d0a16b815d51e7051a6f7901632184ab877413 authored almost 10 years ago

Merge pull request #50 from larsrh/topic/post-machinist

New post: Machinist vs. value classes

3f70df1715afb44e49077429853200f82422f291 authored almost 10 years ago

words

21827a44338285895ea7c753ea3e0cf93b50e2ae authored almost 10 years ago

add post: Machinist vs. value classes

Original author: Erik Osheim
Source: https://gist.github.com/non/a6ff3c0796e566db20d1

f8d3a7bae328981ca0e18c6f9f2477e0062cf7fc authored almost 10 years ago

New post: "Values never change types". (#49)

b9a56c27856c5ff1a82519e25543edcfd69295c3 authored about 10 years ago

Mention representation of closure-captured vars.

Thanks @non for the suggestion and link.

4be2ed677c4ea8fb50556b23a87e7912b877628d authored about 10 years ago

Link from part 5 to part 6; clarifications from copyediting pass.

035eb6163a2a3bcefefac9fede012b8ca881150d authored about 10 years ago

Clean up scalac error paste.

a97ed766ae322ee301d44d680912265cbd931062 authored about 10 years ago

Fill in TODOs

99c9f81208ed9c550cfc49d1197a98a6629a6d15 authored about 10 years ago

First draft: "Values never change types".

a20161839836d21deea36de4693b5264b6fc593b authored about 10 years ago

New post: "Nested existentials". (#47)

af9a93d078446b1f6d0f9b8ae45f8958cf180acf authored about 10 years ago

HTMLize the side note.

3d18e859622f2e89493988f5d9ad7eacce2397d4 authored about 10 years ago

More specific links; forward links to part 5 from past posts.

e5da399f5b4533f743ec25874c32a6a76baf4b13 authored about 10 years ago

Catch up to master.

1daebd1130c4d2a8fcfafddf2810ee668bdf5a47 authored about 10 years ago

Note about the default scope of ? and _.

f6359f542a17d3efd6813be98cb95fc6ca5ecfa6 authored about 10 years ago

Link directly to sections within TP&TM series.

b7cd33bc712a36406e7cf0dd90895dda41e2a6e3 authored about 10 years ago

Markdown rendering doesn't happen in a side-note; use HTML.

3c94791b3d76467b12e5934a92fe35a9b411f4d1 authored about 10 years ago

New post: "Type projection isn't that specific". (#46)

d88b86f979d281419326c888098b75623b76a9c6 authored about 10 years ago

Link to part 4 from part 3.

47eb9aeb71d3323bb7714f4039dc5b66653892af authored about 10 years ago

Include prior posts.

6a3106716bc9eaa75f834bf7771c94bf2d05d71e authored about 10 years ago

Use a bound for the nested, test with =:=.

45abf76aa6d440c8fae7f8eb2426494178b80a15 authored about 10 years ago

Copyediting pass; some clarifications.

0180f3ac7706f0aeb03865d999f88df71c768090 authored about 10 years ago

Not really magic, just looks that way.

ec6134f89d7e2598525ebe40a39509e3495c94c0 authored about 10 years ago

Copyediting pass; some clarifications.

07590911b4724b9c8ef01f280c73b50343b76626 authored about 10 years ago

New post: "What happens when I forget a refinement?" (#45)

e685bf46d490ceed6f566e571a82452cbc958f8d authored about 10 years ago

Mention testing versions.

303ac4e6757807c8a7462550dc58e342d90642fb authored about 10 years ago

Apostrophe.

8c1c9d7fef0791d02ba7501fe1cd084310f317c9 authored about 10 years ago

Add mathjax; explain SI-9410; finish testing and restate all method type relationships.

ec74956ab0302ebd50b2cdbce795e57fa02d828c authored about 10 years ago

Uh oh scalac

9f4060be02ce36487082967c60a7d2e0c09c17a4 authored about 10 years ago

Extra header dashes.

4e93b48c6ee95800578c4c288c868661c768922e authored about 10 years ago

Tested most code samples.

a4870bd6489d72b1a4423995aa3979b7ee17bcb7 authored about 10 years ago

Intro; a little word tweak.

d06f6af87de0897e8772432d57a8c27270c65648 authored about 10 years ago

Fill in links; fix variable name from Function1.

1ee7e2fc5be9a3edb0f4cb4f2236df584faa8c81 authored about 10 years ago

Add intro, outro.

7e285b172fb0b181f03bac81171a01f33d6aff01 authored about 10 years ago

Add missing links; fix one wrongly formatted post_url call.

b5326cf56e6c2e9ae1b2cbecc585e8ade09e53ab authored about 10 years ago

First draft: "Nested existentials"

5a2497690aabbfc1f07397a2458fdf39e3999515 authored about 10 years ago

Better headers

f1f8df7d9699b96092090fb7de00294e954ee58a authored about 10 years ago

First draft: "Type projection isn't that specific"

71694c3bfdef29443f699d5a0445bc40134f55fe authored about 10 years ago

Remove silly asterisks; tease next part.

a1ac9a46d84ee883e3c932e760d540b417221da4 authored about 10 years ago

Forward links to part 3 where they make sense.

d6da0be2548d1eb192643597f689a2cdfe47931f authored about 10 years ago

Include previous posts in branch for part 3.

dd28b05ee0e0024418a9cddac2b5e150eb85f1a1 authored about 10 years ago

Miscapitalized variable.

f9259d3489bac90706abd345c81dd0cc4ea99d9d authored about 10 years ago

Use Mathjax CDN url docced on http://docs.mathjax.org/en/latest/start.html

Thanks @greenrd for pointing this out on twitter.

ab4959862c4c1705b03363cd2c9085d2e44a993d authored about 10 years ago

Merge remote-tracking branch 's11/2-when-are-two-methods-alike'

a02496653768f5ccbea10a0d012d5bc8276190c0 authored about 10 years ago

Provenance of the name 'Aux'.

edb64dc42a43e57d13ac7e6205103feeda09e462 authored about 10 years ago

Forward links to part 2 from part 1.

4589068903be96250221428e516ac27519489bab authored about 10 years ago

Include latest master, for first part.

f0a20c95a962f09deed299e009dca0dd4025928b authored about 10 years ago

A better solution to the numbers problem is subscripting.

6d5ab21776a2ac19671c7861980449455d546202 authored about 10 years ago

Revert "Choose variables that look better in math blocks."

This reverts commit d6a786108b8e73562f4e236564251e925953ccdf.

41aa9a653b8a1183635c4a2c65354c3fbad252c3 authored about 10 years ago

New post: "Type members are [almost] type parameters" (#43)

First in a series on type parameters and members.

a8d017d525b9fd4b9d69ae75fb96ac154efbbabf authored about 10 years ago

Choose variables that look better in math blocks.

d6a786108b8e73562f4e236564251e925953ccdf authored about 10 years ago

Rewrite type relations in mathjax; use capitals for metasyntactic type variables.

a28b180e22daa8d47d4fa3f0aa68333b15c3dc9b authored about 10 years ago

Revert "Replace unicode subscript-ms with HTMLized ones."

This reverts commit 08eb2ada7a4f59ee99a90a23631381cccfe95a65.

b7f3bd951633d25c82360556ff259c9f5886824b authored about 10 years ago

Verb singularity.

9564cb15fa358af64a549224b1fa094b09142d78 authored about 10 years ago

Replace unicode subscript-ms with HTMLized ones.

08eb2ada7a4f59ee99a90a23631381cccfe95a65 authored about 10 years ago

Link to definitions of uncons and tail.

ba82936517d5dcbb39c30975cdd87a2a595e8804 authored about 10 years ago

Copyediting pass.

b52577e4c412fc9324e928267cb8a55d713f2af9 authored about 10 years ago

A bit more non-breaking.

fa4c2665153276b5ddf457e30ab45755e13cc116 authored about 10 years ago

Extra markup.

c4c8e818eeb537ffbe0c5e3e70302ac229f850b8 authored about 10 years ago

Quotes and dashes.

029fcedb6e54d26228f99248a1af65ace8501ddb authored about 10 years ago

Test code samples.

b964cd522d7faf52a2df6a6cab222785a0e503b3 authored about 10 years ago

Make "party duck" reference parenthetical.

(thanks @non)

a0b812d2901c509503053c7c7d980aca61284f37 authored about 10 years ago

Oops, wrong strictly party duck symbol. Fixed. Thanks @non.

cadd3d821fb739262d886712071fc3207db717b7 authored about 10 years ago

First draft: "What happens when I forget a refinement?"

eb5fc4493711183ddd05a614dadce397c322b524 authored about 10 years ago

Try italicizing the subscript m.

06a33064ca03f3b0bdd9b3069125f9629e1d1a3a authored about 10 years ago

Outro.

ab09247c53b31c280828e50e77013b833e895f82 authored about 10 years ago

Polemic on 'wildcards' and unspeakable types.

1557c28caddc323c6c6a97b1d55ca5a4a461af94 authored about 10 years ago

Copy the right (first) error for the parameter bounds example.

05b4f9cc5163833b5d165e67ebc0e4166019b64e authored about 10 years ago

Copyedit whole draft.

052fbfae3b97068b180e1d71d70e789dd81ffeb0 authored about 10 years ago

Stray big m.

dce9099a049fed665f5c2e7b88f57f5d23b1a0cd authored about 10 years ago

Intro and outro text.

c638bb11eb2450b7ebeeed4257d29e6f28813885 authored about 10 years ago

Some nonbreakable spaces to ensure the text reads nicely.

38969759ab59a5da39758557a03f2b0923f167ee authored about 10 years ago

Results of a wording once-over, with some emphasis added.

455e9d7e74848458b0455715411eb9c8b62695ad authored about 10 years ago

Link to SLS, stray m.

af656f4679e16091373d412c0371913ef3ff9757 authored about 10 years ago

Test code samples; rewrite bad ones.

e2dba9bf6d483c7c580eda35add36f4de9d1b946 authored about 10 years ago

Rename some functions; more about var names; another bold principle.

271b994c258372610803cfd9fa321922af9acf9b authored about 10 years ago

Nice quotes.

a087b30d1a92b7cc9016c1befa6cc78e4b9dd63e authored about 10 years ago

Nice apostrophes.

488d99e7a328d745b738b85e38bf82700272d28e authored about 10 years ago

Emdashes.

47c1497aafe0a8f4911902c72e505fd57f3c4e18 authored about 10 years ago

Introduce the symbols we really want to use for our relations.

c471e16c5a72d6f432e4ee0546df200cef20b21e authored about 10 years ago

First draft: "When are two methods alike?"

08699d8fd1a31e4592f8823ed4841c91cc51c5ca authored about 10 years ago

Rename plength plengthT, and plength2 plengthE.

a3bf11439e0d9308c41ba22dba75a4609b6f7db8 authored about 10 years ago

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Collective

github.com/typelevel/typelevel.github.com