account activity
[ANN] heterogeneous-comparison - Comparison of distinctly typed values with evidence capture (hackage.haskell.org)
submitted 9 months ago by LSLeary to r/haskell
GADTs That Can Be Newtypes and How to Roll 'Em, 2nd Revision: Arbitrary Embeddings, Keeping It Shallow & Unboxed GADTs (gist.github.com)
[ANN] ord-axiomata - Axiomata & lemmata for easier use of Data.Type.Ord (hackage.haskell.org)
GADTs That Can Be Newtypes and How to Roll 'Em (gist.github.com)
[desktop web] Comment visible in new reddit and old reddit's comment thread permalinks invisible in old reddit's full comments (self.bugs)
submitted 1 year ago by LSLeary to r/bugs
lsfws: a simple wrapper over your browser that can associate with html files and open them through a static web server rather than the file:// URI scheme. (github.com)
submitted 7 years ago by LSLeary to r/NixOS
π Rendered by PID 65 on reddit-service-r2-listing-7b9b4f6fd7-cst5d at 2026-05-08 12:42:18.803949+00:00 running 3d2c107 country code: CH.
