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

State the common case first in first member/param rule of thumb.

Thanks @non for the suggestion and suggested wording, adapted here.

5dc130dccd1d9c1b5ac32b95bb2a548a6458f7ab authored over 9 years ago

Why so much talk about existentials?

fcd94b71c566cfdb85d4340515fc65bd137a586c authored over 9 years ago

Little formatting flourishes.

093b7e50e985ec0ca07e38564ab8f5be6e390031 authored over 9 years ago

Better, slightly earlier definition of "existential".

e24e71d3f4dfa7c70e66001cd78b64c8250d447b authored over 9 years ago

Front, back matter.

7ebe352fa2d5e8fa2d034ca327e9a79eb1acb452 authored over 9 years ago

More promises for next time.

bb874488c7aa35c2f0528dff7582b96dc9bbed53 authored over 9 years ago

We're not ready to talk about the implications of forgetting a refinement yet.

e5e4e85771e749bed6afab952043b9d966decf27 authored over 9 years ago

Missed extends.

2cc127957f029c9b0a5288a0e91cdf141d9ec161 authored over 9 years ago

Concrete testing of some code samples.

5340507d3ed8c35de8fa62916aa4ba44ee6e9b30 authored over 9 years ago

Fix miscapitalizations of PList, MList.

02d3587be5b97546f30852955901e74c13478c9e authored over 9 years ago

Silly category theory joke

28dfe1159041ae11ae1f5bd9f58097ba12bd3aca authored over 9 years ago

Dive into the meaning of a refinement with unrelated type member name.

3db1fa1a6ce4d13609bb91783988c03411e7f8b3 authored over 9 years ago

Define "refinement".

51c3ea745c68bb546f1312c14ff239df63ae819e authored over 9 years ago

Implement uncons.

174bbcb238383d5b857b6b5ed4f88ae565ceec87 authored over 9 years ago

First draft: "Type members are [almost] type parameters".

8712eeba937e265aad4c1c59a24bec3a7d89eade authored over 9 years ago

Singleton instance post: example should refer to String, not Int.

b18e4d66271c1b133e29b1816258271f854c7ce4 authored over 9 years ago

Fix broken links to Scalaz safe Scala subset.

Thanks @jedws for pointing this out.

1818efb081a727c8f1550b26ab0eb5c2613ad181 authored over 9 years ago

Merge pull request #42 from adelbertc/towards-scalaz-2-fix

Syntax and grammar fixes for Towards Scalaz Pt 2

0bccff35a7ffd682824c6aae89bb992804026ec9 authored almost 10 years ago

Syntax and grammar fixes for Towards Scalaz Pt 2

bf62a50fd7a6a073bade53884c7de3388ba8e430 authored almost 10 years ago

Make addThing succeed at runtime.

c0cae169c5de137c87e8b682ef976b87005fb835 authored almost 10 years ago

Fix syntax coloring of an example.

d73cd677d2092a48bdf5d84caf6fcb3793a73f36 authored almost 10 years ago

New post: "Existential types are not raw types". (#41)

2c294a1504c610f4e0ba80f6129ddb2d935e8889 authored almost 10 years ago

Clarify the first "why". (thanks @ceedubs)

13008ca1855aa752aa69c95165cc2a83d0a2f463 authored almost 10 years ago

s/an/a/ (thanks @larsrh)

0c1d0f5f2ad929b6e9a93d307f835832868f1dca authored almost 10 years ago

Talk about type variable patterns a bit more.

7f2005ae5bec6ab6ab56d0ad2f2d24da7ea32023 authored almost 10 years ago

Explain that the audience includes Java developers.

26e9ae1eb627cf3999cc3ecad049c40a2c82fbd9 authored almost 10 years ago

Make the origination of the existential error message clear.

2861e0ab5a05d078bd3f07b7641434b1a2cf60b4 authored almost 10 years ago

Suggest -Xlint:rawtypes as a tool for working on eliminating them.

3c3c9031a4fb7040abf68ca97cafc6e9b1041166 authored almost 10 years ago

Remove stray scalac unused import warning.

93633490045db7531eb2d54137901db078e5d213 authored almost 10 years ago

Links for terms of art.

242c5de78d276e0bfdd526013edd2bee907eff98 authored almost 10 years ago

Some helpful suggestions for fixing raw types in your code.

b52071fe7745dcb2a7fee0fd4c67c643cda8d1d1 authored almost 10 years ago

Rename to "Existential types are not raw types".

42a1e0dd90c929b9ff69ac081493343a4c522d95 authored almost 10 years ago

Fill in results of rawtypes testing.

a6ff7c0c4f20fecd6d7a52c641501db4d672ad42 authored almost 10 years ago

"Raw types" is two words.

95f7e1865e433d0c6d0b58d949b82e13951461f3 authored almost 10 years ago

New post 1st draft: "Why you can't implement that Java method in Scala".

f345f4bc111b3f25994589241dc114b56e79d778 authored almost 10 years ago

Merge pull request #40 from propensive/master

Updated links to Shapeless and Spire GitHub repositories

351a048a55d90a21c8380b6d0bca0a4a003c64cf authored about 10 years ago

Updated links to Shapeless and Spire GitHub repositories

This is instead of the blank pages they currently point to.

8f13ca9ef35fdb0c4bcc1e792889b599545c2946 authored about 10 years ago

Merge pull request #39 from mpilquist/remove-scodec

Remove scodec from website

ff8f102075094e52c5685ba417a736de8651d13d authored about 10 years ago

Remove scodec from website

1e333601fd86e5295d0020847b9d8c9d1463fbd7 authored about 10 years ago

Merge pull request #38 from milessabin/master

Remove Argonaut. Closes #37.

b31a458ac552fee919547fdb60786e335688ef01 authored about 10 years ago

Remove Argonaut. Closes #37.

a77e8b30aad9d01c6324fa1215f8462c6b8be652 authored about 10 years ago

Merge pull request #36 from puffnfresh/patch-1

Remove WartRemover

547812e164352bd5bb6433fa3df190764b2d7405 authored about 10 years ago

Remove WartRemover

944de637243fb1d6ea077ef0963dc4c3d506d77c authored about 10 years ago

Merge pull request #35 from milessabin/master

Removed Scalaz and scalaz-stream.

24d35fc19edbb32d69bcd3ff097e2ebd11b6c3a3 authored about 10 years ago

Removed Scalaz and scalaz-stream.

6723c906d6e84a8042f4ba5fad7054502d9c2e6d authored about 10 years ago

Expected type of selector in "Why is ADT pattern matching allowed?" should nub `Just`, not `Maybe`.

66de348136a373b0b8e5297f1ff64602c886fcf7 authored about 10 years ago

`compose` of higher-kinded Leib should return `LeibF` in exercise.

59d8d548c6f9ba39fba7c8235cdda6252fa8869d authored about 10 years ago

New post: "Why is ADT pattern matching allowed?" (#34)

743730165f3d988c846f12397072e9a5ba89cec5 authored about 10 years ago

Sample free theorem violation.

cf8446d0867887e0bba1502bd4a6e179bec6fe22 authored about 10 years ago

Links and punctuation.

d3d36d9174963d3fbc819a5233b0b87bf57abe09 authored about 10 years ago

Test sample code, rewrite disassembly, link Leibniz posts.

ec2b5006e8ccda7180c7a73e46486fe4a344b954 authored about 10 years ago

New post: "Why is ADT pattern matching allowed?"

22c3c153d031c175296bc41fc72a94b58ed57f14 authored about 10 years ago

Merge pull request #31 from choedl/master

Fixed/improved link to discipline

0c25bc47f7a2b17a4ac714da8ef89ed122cfc310 authored over 10 years ago

Fixed/improved link to discipline

See https://groups.google.com/forum/#!topic/typelevel/Xg2uGbtNa-0

cc9e302c090bb3458776f55546f65c07148bc98b authored over 10 years ago

Merge pull request #30 from aloiscochard/patch-1

Fix haskellnow.org URL

2a24b562ee4bf4a83611ea4d54185101174c8b40 authored over 10 years ago

Fix haskellnow.org URL

899e433e0492be264790814aec4e76b364f15b8e authored over 10 years ago

code of conduct

d9fbb14f4caa12e93237b4db47e67dfa23488e44 authored over 10 years ago

New post: "Higher Leibniz". (#29)

c31bb1f9691974f3ef30c9d67e7ed1366da87b4e authored over 10 years ago

Better Ermine link.

44392368a6ef8a096bbdc0533f62ad282f73517a authored over 10 years ago

Motivating notes; summary.

681a2844b472b02abc107e5d476537f0b991f7b6 authored over 10 years ago

Note about refl; fix kind error.

cb0f294b9be60c99c67529e1cba8512937cc0d0a authored over 10 years ago

Alternative hoge implementations; forward link from last part.

a7d9dab84639f85eda8583efabf4f801a7e1c4dd authored over 10 years ago

Most remaining leibniz part 2 chatter.

2a009e91f5922462e9ae97a2ffcc56e2979f8ac6 authored over 10 years ago

Second leibniz part text.

f9f9c5a66c9c7f155f3080990a5bb266e44eaa05 authored over 10 years ago

Merge pull request #28 from CodeBlock/scalafork

Sprinkle some mention of the Scala fork throughout the website

82e50f59e1be1c796664e89dcb3022822aef5d76 authored over 10 years ago

Sprinkle some mention of the Scala fork throughout the website

Signed-off-by: Ricky Elrod <[email protected]>

c174fed7da82da02e2cbbeaecfd994fd20e59995 authored over 10 years ago

Merge pull request #27: Blog post "Typelevel Scala"

f8172a1a68d4916c6b8540aa9af33e0e4c3c800f authored over 10 years ago

tuned

a93150e829ee9d804c7eb7a3c98898cb57f37f85 authored over 10 years ago

Updates from feedback.

9e5a597456f65147260370d9c53ef91890c6a44b authored over 10 years ago

fix avatar

2e3e559006eaca9d18d4b26114bf8b025a85bd68 authored over 10 years ago

how do I bash

cd7a88a19043323e0d632aa034d6ceb0a9f59188 authored over 10 years ago

tuned

83dc3170db671c8f806a5be163fc548e1a5efe79 authored over 10 years ago

Added Typelevel Scala article.

5ce81c2a568af126a65dc1788ddee37b1e8bff8d authored over 10 years ago

tuned

6690a75b4bc8d9944e59b7ca09b89b61fb81c3d2 authored over 10 years ago

Reformat, stray parens.

3657376c9637350ff1f95ce337e862ba1f94720e authored over 10 years ago

Merge pull request #26 from S11001001/topic/singleton-instances-patmat

New post: "The singleton instance trick is unsafe"

cd80b27c154c80e0aaef9c8e08058874bdd8cbf7 authored over 10 years ago

Missed inline code.

bf7635fad057edac43379851e916be3dfd976864 authored over 10 years ago

Bad punctuation.

822b4338f65288b24cd6fe19386a18acbf2b6b06 authored over 10 years ago

Which Scala version.

b3cade60b5801419ad19cad31a5e2a8a519b18a4 authored over 10 years ago

A working singleton type base example.

4236467c22234ad0c5503e2f1fbf21f21cb57247 authored over 10 years ago

Which is which, with regard to our "tricks".

221cf3bd1c4188569bf5916d93eae2400a5ffc72 authored over 10 years ago

Missing link.

00bbb18b5d1aa98542dfdccca0daecd217176f93 authored over 10 years ago

Formatting; filling in bits from actually testing.

a1987c4f6e342e1695f00b718b2f571373ecfb0f authored over 10 years ago

Raw post on the singleton instance/fake covariance cast trick.

589ea93657a325b8ff7f5fc4d82b97b47b95ef0b authored over 10 years ago

Explain `?` syntax at point of use.

377ed5aba125e32c4129a5522e1b69e30a7d9db7 authored over 10 years ago

Add links and one more planned topic to Leibniz #1 post.

ebc31cf2ab3668001afd99bddab4dbeace31cafd authored over 10 years ago

Merge pull request #25 from S11001001/leibniz-1

New post: "A function from type equality to Leibniz"

1ba76af9793c2b3fb79f61d9dcb05cfb60fe18ff authored over 10 years ago

Move leibniz part 1 to today.

dd6ec8ce5b7bd7b6b05a8b682fb3a4c7fa6b3c14 authored over 10 years ago

Avoid infix type application in a couple places, for clarity.

0fa638297619df3bd3b6aa9f69cb278f3578e3a6 authored over 10 years ago

Scaladoc link.

ef76df59c3203646e66fa6324ce8ca4451b5e900 authored over 10 years ago

Show type error, pretty symbols.

80fe320ade98c78e8a632a6bc4d8eaf7cfb12587 authored over 10 years ago

Use long lambda syntax, disambiguated sum function name.

0f0473e6900cd5804cedaf3172786737a94ba01e authored over 10 years ago

Formatting; better kind projecting; preview of 2nd part.

0b17437103f67ddd48074624c9071c0b69bb47e1 authored over 10 years ago

First leibniz part text.

78e6c736cfdbdd877e48baef0b182172671b7c85 authored over 10 years ago

Monocle joins typelevel

47d7edcd55cb308fb98b780446fabc3c36798ffa authored over 10 years ago

Typo used 'f' instead of 'k'

9b8c9dfdd752299ea3f1f6256fff1037fdaf81fe authored over 10 years ago

Update 2014-06-22-mapping-sets.md

75abbe5ae7de3f20fd51765a5477061942dd2bf3 authored over 10 years ago

Merge pull request #24 from puffnfresh/coyoneda-set

Add [a]Coyoneda[ISet, a] post

d339b8704ff08017554e65da468fd65564d6f65d authored over 10 years ago

Fix 2 typos

60c6bf82249836422f1fcd7f6ec05a1784b6deb4 authored over 10 years ago

can BE defined

e0188a1419300039dbc2ea69528fb51696f3c04f authored over 10 years ago

Ecosyste.ms: OpenCollective

github.com/typelevel/typelevel.github.com