I am yet again starting a project in #haskell and having fun getting lost in something fun, but basically causing me to be side-tracked.
I'm working on a simple pixel art editor, but I am excited by #LiquidHaskell to, I think, use refinement types and prove certain properties about my code.