- Announcing generic-optics (& generic-lens 2.0.0.0) https://kcsongor.github.io/generic-lens-2/ 20 comments haskell
- Opaque constraint synonyms https://kcsongor.github.io/opaque-constraint-synonyms/ 12 comments haskell
- Tripping up type inference https://kcsongor.github.io/ambiguous-tags/ 21 comments haskell
- Global Implicit Parameters https://kcsongor.github.io/global-implicit-parameters/ 39 comments haskell
- Detecting the undetectable: custom type errors for stuck type families https://kcsongor.github.io/report-stuck-families/ 13 comments haskell
- Parsing type-level strings in Haskell https://kcsongor.github.io/symbol-parsing-haskell/ 15 comments haskell
- Deriving Bifunctor with Generics http://kcsongor.github.io/generic-deriving-bifunctor/ 5 comments haskell
- Announcing generic-lens 0.5.0.0 http://kcsongor.github.io/generic-lens/ 25 comments haskell
- Well-typed printfs cannot go wrong (type-level parsing in PureScript) http://kcsongor.github.io/purescript-safe-printf/ 22 comments haskell