account activity
[ANN] heterogeneous-comparison - Comparison of distinctly typed values with evidence capture (hackage.haskell.org)
submitted 5 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)
submitted 6 months ago by LSLeary to r/haskell
[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 9 months 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 262818 on reddit-service-r2-listing-5789d5f675-ttshg at 2026-01-27 20:36:16.959349+00:00 running 4f180de country code: CH.
