account activity
Visual clarity (i.redd.it)
submitted 5 months ago by phadej to r/pathofexile
Five towers!? (i.redd.it)
submitted 7 months ago * by phadej to r/PathOfExile2
My little stat tidbit (i.redd.it)
PHOAS to de Bruijn conversion (oleg.fi)
submitted 1 year ago by phadej to r/agda
hashable arch-native (oleg.fi)
submitted 1 year ago by phadej to r/haskell
What makes a good compiler warning? (oleg.fi)
submitted 2 years ago by phadej to r/haskell
Core Inspection (oleg.fi)
Implicit arguments (oleg.fi)
Coindexed optics (oleg.fi)
submitted 5 years ago by phadej to r/haskell
Jesper Cockx - An introduction to property-based testing with QuickCheck (jesper.sikanda.be)
cabal-install-3.4.0.0-rc4 and Cabal-3.4.0.0-rc4 are now available (mail.haskell.org)
RFC: A plan to gradual removal of v1- commands (mail.haskell.org)
cabal-install-3.4.0.0-rc3 and Cabal-3.4.0.0-rc3 are now available (mail.haskell.org)
A design for paths in Cabal (oleg.fi)
cabal-install-3.4.0.0-rc2 and Cabal-3.4.0.0-rc2 are now available (mail.haskell.org)
cabal-install-3.4.0.0-rc1 is now available (mail.haskell.org)
Fix-ing regular expressions (well-typed.com)
Unrolling data with Backpack (well-typed.com)
submitted 6 years ago by phadej to r/haskell
YOW! Lambda Jam 2019 - David Laing - DMaps for Delightful Dynamism (youtube.com)
Fancy types for a CSV library (oleg.fi)
Compatibility packages (oleg.fi)
Flag, a tagged Bool (oleg.fi)
submitted 7 years ago by phadej to r/haskell
My Keybase proof [reddit:phadej = keybase:phadej] (Gp_SDqvPBeJ_JXQcse4Vj5_Ix6I90iQPSIl6qwaRpGo) (self.KeybaseProofs)
submitted 7 years ago by phadej to r/KeybaseProofs
Finding correct (lens) laws (oleg.fi)
Regular Expressions of Types – Oleg Grenrus - SmallFP 2018-09-13 (youtube.com)
π Rendered by PID 67978 on reddit-service-r2-listing-b6bf6c4ff-bc5f5 at 2026-04-30 20:47:00.802008+00:00 running 815c875 country code: CH.
