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

Add [a]Coyoneda[ISet, a] post

aefddb6bebfb181c065beb6bf6083ab1038bec46 authored over 10 years ago

Merge pull request #23 from adelbertc/error-post-addendum

Add sentence regarding Try/throwables

6b907d6b044613eed71a9a0af629fffbfdb78c09 authored over 10 years ago

Add sentence regarding Try/throwables

b21a3f5d4ffd4db6e52ad895ab6999ebfbd98764 authored over 10 years ago

Merge pull request #22 from aloiscochard/master

Add Maven/Bintray buttons in projects list.

b2b498bb0ab3ac7123f3d222c3cc14ed57c3a544 authored over 10 years ago

Add Maven/Bintray buttons in projects list.

2d35e7873d78193e9f14bf2e4953223cc9574cf8 authored over 10 years ago

Don't imply that Coq/Agda have no strategies for proving totality of corecursive definitions.

87d24c09f04b93c409c4befe650a989222331caa authored almost 11 years ago

Merge pull request #21 from S11001001/topic/fix

New post "Primitive recursion with fix and Mu"

426d45e333ee042556caf9c7eec897fe0f4aa5d1 authored almost 11 years ago

Demonstrate that we have F[A]-equality for all A.

1d87f418aa28739cbf2d6fb32a71507b9fb5caf4 authored almost 11 years ago

scalaz isn't a format!

5427e03fd500d2ec8783a82bc5ea9c39e9b25e30 authored almost 11 years ago

New post "Primitive recursion with fix and Mu"

6b06188e109f435d5aa93894d2403cf145cae383 authored almost 11 years ago

Initial scodec project page

281a258a70c23d59582d11f3110a2fbad12cc907 authored almost 11 years ago

Permit links with `code` parts to be colored blue

bf1d845fd22ebb44befdffc06a1a7a3ae3d17eab authored almost 11 years ago

kind-projector & wartremover

c826cbcf66d923ccc464c5a9fcfbb2295ddbf411 authored almost 11 years ago

argonaut joins typelevel

af119ceecf5ae4c455252775cbe8c5d64661cae3 authored almost 11 years ago

Merge pull request #19

New post "When can Liskov be lifted?"

1851501d5fb6536ed4c5007810166af05f28b68b authored almost 11 years ago

date of publication

8dc03f50b5e56a1bb5c18701ccdd61bb11819586 authored almost 11 years ago

More language cleanup.

304063827713d3eafb6c46fff321478a860220ad authored almost 11 years ago

Scala code formatting.

812ff875c9590fa1c6dce2facd4626074d291a2f authored almost 11 years ago

Fix mistake in error handling post

Turns out `Either#{left, right}` do not throw exceptions
when called in the case of the "other" ...

a16ac3275eec677d0a02250d051318964ce7b49f authored almost 11 years ago

A link to ISet, for edification.

4bee468a63897587a32e6fbd5221b846825f04a0 authored almost 11 years ago

On the relationship of representation and subtyping; oddities.

f785794c19b3d54909348c29692ca302eaaa9a66 authored almost 11 years ago

Syntax

bf4052a58d09dd8f7e95856f1bff7a2b629997b5 authored almost 11 years ago

A Leibniz trick for reasoning about GADTs.

b7b91564d377bfb961f7f7ce27126d3a8ab93cb9 authored almost 11 years ago

One more bit of formatting.

5f70b5a46e249bf8baff4ab2f662761afcc79ca2 authored almost 11 years ago

Define "operational identity".

727fb4cf1d28b7f4adad468c5d21ef7a531d9e6e authored almost 11 years ago

One more link.

d1b5506897a1bd024f53165b266387d4f388f997 authored almost 11 years ago

Further formatting; several links.

46efd73c073642f23abbb1b3607f3c4e70843e31 authored almost 11 years ago

Formatting; discuss contravariance.

bfed9b2bf161bb28ab3664ca2eab483a9e5aa2f2 authored almost 11 years ago

Initial draft: "When can Liskov be lifted?"

07838eea6dbf009a378eea6fea2bb07124c409a8 authored almost 11 years ago

Fix typos in error handling post.

* s/object/class for WonkyError
* Remove extraneous `-` at end of post

27d799c5d8c1bbf75757a20cc472d39378ae2dc1 authored almost 11 years ago

add dummy project page for scodec

50ec34e2b855693f112cefcfe7a9960f01f9c9ff authored almost 11 years ago

update index and projects page

6eaa8631983f8f20a6a4e107384eac137c363fe2 authored almost 11 years ago

Merge pull request #18

New post "How do I error handle thee?"

e2232dd27266cf7b62e1d145d0e55ce5d33cfaf7 authored almost 11 years ago

editing

1647d0d331366406f8053c5a8170e6e9af30daf5 authored almost 11 years ago

Fix some typos in error handling post

e1b87d1c9acd45ef91994c696c621d349a953785 authored almost 11 years ago

Fix some typos and make explanation on Validation more clear

9c5339b0e5e892c3de22b7fecaed5500b41999ee authored almost 11 years ago

Initial draft of error handling post

496559584712460025642833b3bf941c8ba80dff authored almost 11 years ago

Correct mistake for Towards Scalaz Pt.2

1f9e9077a85b45312023731c0250dd34d5766358 authored about 11 years ago

enable syntax highlighting

17bfb52d968f7eafab19160bf91959b80b442c26 authored about 11 years ago

tuned

68f143ddf1c13fa9c7f7efd1e1176e9be97a6bed authored about 11 years ago

Merge pull request #17 from S11001001/topic/implicitly-existential

New post "When implicitly isn't specific enough".

784fe60d9390f4fbf8862489c2214abfe0036d8e authored about 11 years ago

New post "When implicitly isn't specific enough".

d9cab408b9ea01e9af064e531c5816d4f8c50f88 authored about 11 years ago

Update spire version

0.6.1 -> 0.7.2

b26891ccbea1753882d58d1a6954e50230f1ab67 authored about 11 years ago

Merge pull request #16

Add Towards Scalaz Pt 2 - Foldable!

f2a52e35033633f4cb16fbdd36533ed5f62852fe authored about 11 years ago

tuned

9f681e4cf089b888a87869a482629c3c616863b4 authored about 11 years ago

Add sentence to end of last section

67eaf20b37046a95bea7df24e5b151906595dbdb authored about 11 years ago

Add Towards Scalaz Pt 2 - Foldable!

fb5e3dc6ed21a69ebdde1d9b3b3a1a2f880165bd authored about 11 years ago

Update scalaz version

7.0.4 -> 7.0.5

af431e5aac48474a542bcbb04396029efb33603b authored about 11 years ago

publish article: law enforcement using discipline

b2cf0b5476b306c6dccf3556305a8f89962acf28 authored about 11 years ago

tuned

e595252ac0a43b947518143add1ac6b39e3eb070 authored about 11 years ago

Merge pull request #15

Some suggested changes to the voicing and language.

78febc5bcb21ec840148c2c6a26a47dcaad4847f authored about 11 years ago

Some suggested changes to the voicing and language.

ae3c52e1dd0ad6a94711422a8fead41415c10ca0 authored about 11 years ago

draft: law enforcement with discipline

e99465a4e8df73cd951ab09e66c8781e53c46bee authored about 11 years ago

Merge pull request #14

New blog post: Treelog

fc4447d2dd22898efca4e523c891924917cbca8c authored over 11 years ago

tuned post: treelog

983505aa47f5aaa2ea2d883cff82e59d4b5fd864 authored over 11 years ago

add Channing Walton as author

7589d5ee51078a7e996919b0f65b653122d1375f authored over 11 years ago

added the Treelog blog

b03cc9077c325d9dd41591b616750b9f3e32a5b1 authored over 11 years ago

fixed typos

18fb5f29b2ba746e47150564e542dcbec8462781 authored over 11 years ago

CC-by 3.0 license

81100c6e36ad4b13d8d0e2bdccf2038412fac987 authored over 11 years ago

Merge pull request #12

Blog post about Spire's Ops macros

daae51837988632e4e17fa2be7b15159b63bfbb2 authored over 11 years ago

correct publication date

b212f9dea3c0e674cb7cbe3b4e041ca11a31c944 authored over 11 years ago

fix Twitter link

693129f3435db1429a4343833e1483840df54762 authored over 11 years ago

publish: "Towards Scalaz (Part 1)"

9078ffbced8a669b9a1b244ef5feba0bd293bf9f authored over 11 years ago

fix author

098668d06fc4c4fcc62f9256ff662246048b7679 authored over 11 years ago

larger font for side notes

6633060d168971439718eba0f9580e6118dc6ad2 authored over 11 years ago

tuned post: towards scalaz (part 1)

3102d9d4240ff5d62331cab2dc638851a3c3fc47 authored over 11 years ago

add adelbertc as author

4e35bc3b98d830e429abf5ffefaa5f8fbaa486b9 authored over 11 years ago

fixes, add links, and bolding

554d26d82cc854a31fe90bad1cc0e9ab1c1f829b authored over 11 years ago

small edits

6f45e727a2e6d7fd5d0abfc6e6d86ad2e8b976ae authored over 11 years ago

fourth draft of ops-macros post

d14dee7f6747b8d0358ef09b136ba6d8f9662ea6 authored over 11 years ago

fix some titles

44ce3da749266009c32563917804dbc94400bc04 authored over 11 years ago

third draft of ops-macros post

a3e95b36b99e015acd486a8e726919007c7d35ce authored over 11 years ago

second draft of ops-macros post

f9523ebe357ea33d6f658dfb6245b3a52bb5cbd6 authored over 11 years ago

first draft of ops-macros post

4e2322957453f5619390c2be3d1d3882cab9fbd6 authored over 11 years ago

Small changes to Towards Scalaz Pt.1

s/Adder/Addable
Linked to Spire project/blog post

326e24a68281ae88972aafd6149c4279db88a1e7 authored over 11 years ago

move "Towards Scalaz" post to drafts

027ba398768494554451c4ddbbeb33fb466748d9 authored over 11 years ago

Merge pull request #11 from adelbertc/towards-scalaz-pt1

New post on introducting Scalaz

7848309fd47dabd2163d9485571d90f39189f42c authored over 11 years ago

fix 2 typos

bf0b37d24c17afccb505ceb08c05a4d7d3c29e62 authored over 11 years ago

Scalaz 7 is now the default branch

[none]

180718db5bd0bcd3f3f8d17c6bf5ac1d4bc6c5f1 authored over 11 years ago

Update Scalaz and Spire versions

Scalaz: 7.0.3 -> 7.0.4
Spire: 0.5.0 -> 0.6.1

a31c059ee6edc5f12b9310163d12fd0f270b3735 authored over 11 years ago

fixed typo in blog post

4d979e918537e417a976c51e9039e026ee86bca0 authored over 11 years ago

New post on introducting Scalaz

82abec4cd60a2aa3480d8504f0d79b69643bafc1 authored over 11 years ago

remove local switch altogether

8f68da5a07e00787de229077dc5a867ab1b09a48 authored over 11 years ago

try to reinstate Disqus comments

077b18e16366d0bb188f32028ba8f628a457e6db authored over 11 years ago

Merge pull request #10

New post "Using scalaz.Unapply"

189d3ec1a0c11dd53ab051c811ba99a3dc16a393 authored over 11 years ago

add @S11001001 as author

fae048bb259f5ca51707925768354f9f537caa06 authored over 11 years ago

Fix credit, point to (I think?) Unpack genesis.

c639ecc916904f199fcea32b07f9298f126b066e authored over 11 years ago

New post "Using scalaz.Unapply".

7d3ab1b852de7078008f6f14ce260b76d9d24a06 authored over 11 years ago

Merge pull request #9 from xuwei-k/scalaz-sample

fix scalaz sample code

f9603671984ed27445a5e27a65cb73feaeee3781 authored over 11 years ago

fix scalaz sample code

8a6b232a8bc9bd1be9012e6282425866462b69bd authored over 11 years ago

Update Scalaz version

7.0.2 -> 7.0.3

8403d71c4ec0815074d2e72a9ef921188c18f16e authored over 11 years ago

typo in blog post

5d7b9e4db35c979b0722a8653d17d8a8ee7dc0b7 authored over 11 years ago

Fix negate formula in intro Spire post.

0d5d10a76b48133a067305ce6585c98419753057 authored over 11 years ago

Update spire version

0.4.0 -> 0.5.0

cd8a5f639528d5c602c531c10e2c6aeb8d9fcc48 authored over 11 years ago

Merge pull request #8

Intro to Generic Numeric Programming Blog Post

18c559e9478b5a4c9a3eed5eb6faaf5be66ec8b6 authored over 11 years ago

more code highlighting

98a1bc43a9bf933c3404d79dc80cadbeefa47237 authored over 11 years ago

Fix some grammar mistakes in intro to gen num prog.

266580647f13e291549f307d31351721aea838bc authored over 11 years ago

Change date of blog post.

4dcaef06ace5b42a968666c1dcd78224603fb9f8 authored over 11 years ago

Intro to Gen. Num. Prog. blog post.

38d8bfb048ea7e0c142845305d54324ef1c9026d authored over 11 years ago

Merge pull request #7 from pthariensflame/patch-1

Update scalaz version

953bb59e77c311341f3b51cd2e5fee1208250729 authored over 11 years ago

Ecosyste.ms: OpenCollective

github.com/typelevel/typelevel.github.com