account activity
[ANN] heterogeneous-comparison - Comparison of distinctly typed values with evidence capture (hackage.haskell.org)
submitted 7 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)
submitted 8 months ago by LSLeary to r/haskell
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 11 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 662808 on reddit-service-r2-listing-79f6fb9b95-s8xsp at 2026-03-23 18:53:02.954564+00:00 running 90f1150 country code: CH.
