| | All you wanted to know about types but were afraid to ask (tel.github.io) |
|
1 point by epenn on Sept 2, 2014 | past
|
|
| | JSON is not object notation (tel.github.io) |
|
2 points by tel on Aug 23, 2014 | past | 1 comment
|
|
| | Typing Transducers (as Kleisli arrows) (tel.github.io) |
|
6 points by tel on Aug 10, 2014 | past | 1 comment
|
|
| | Points About Type Safety (tel.github.io) |
|
36 points by tel on Aug 8, 2014 | past | 6 comments
|
|
| | Codata Diagonalization (tel.github.io) |
|
1 point by tel on Aug 4, 2014 | past
|
|
| | Immutable Enumeration in Swift (tel.github.io) |
|
9 points by tel on July 30, 2014 | past | 10 comments
|
|
| | The Types of Data (in Swift) (tel.github.io) |
|
2 points by tel on July 27, 2014 | past | 1 comment
|
|
| | The types of data (tel.github.io) |
|
23 points by tel on July 24, 2014 | past | 6 comments
|
|
| | Mutable Algorithms in Immutable Languages, Part 3 (tel.github.io) |
|
56 points by tel on July 15, 2014 | past | 10 comments
|
|
| | Mutable Algorithms in Immutable Languages, Part 2 (tel.github.io) |
|
91 points by tel on July 13, 2014 | past | 3 comments
|
|
| | Mutable Algorithms in Immutable Languages, Part 1 (tel.github.io) |
|
119 points by zik on July 12, 2014 | past | 41 comments
|
|
| | Calkin-Wilf for Early(-ish) Haskellers (tel.github.io) |
|
3 points by tel on July 9, 2014 | past
|
|
| | Memoizing Kayles (in Haskell) (tel.github.io) |
|
1 point by tel on May 28, 2014 | past
|
|
