rini.tngl.sh @rini.tngl.sh · 15/10/2026anyways you ever solve K-maps in minecraft? its really fun 050 5
rini.tngl.sh @rini.tngl.sh · 13/10/2026half of these are just GHC2024 i guess but its really scary when a library starts with an example thats like. this 030 3
rini.tngl.sh @rini.tngl.sh · 06/10/2026maybe, because i dont know how to implement `Get` on it besides also generating something like this 120 2
rini.tngl.sh @rini.tngl.sh · 06/10/2026will I regret using a GADT like this (auto-generating this code though) 240 4
rini.tngl.sh @rini.tngl.sh · 04/10/2026Glasgow "No we don't have dependent types" Haskell Compiler 2151 15
rini.tngl.sh @rini.tngl.sh · 03/10/2026genuinely deranged that they recommend u use a random flake that makes this accessible as an attribute list bc thats all flake refs support 120 2
rini.tngl.sh @rini.tngl.sh · 15/09/2026i should make a third PR, "Rewrite it in haskell", except the project is already haskell i just rewrite it for no reason 010 1
rini.tngl.sh @rini.tngl.sh · 07/09/2026anyone have a bit of money to share? i have something funny to do 010 1
