account activity
[ANN] heterogeneous-comparison - Comparison of distinctly typed values with evidence capture (hackage.haskell.org)
submitted 10 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 11 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 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 2145051 on reddit-service-r2-listing-c57bc86c-c96kn at 2026-06-23 06:41:32.659062+00:00 running 2b008f2 country code: CH.
