Born 1980-05-15 in Mena, AR Cis White Male He/him Liberal Democratic Socialist Idealist Professional Haskell Programmer Lives in Cove, AR (24 years resident of Fayetteville, AR) Please use Wire (or Signal) for private messaging.
Born 1980-05-15 in Mena, AR Cis White Male He/him Liberal Democratic Socialist Idealist Professional Haskell Programmer Lives in Cove, AR (24 years resident of Fayetteville, AR) Please use Wire (or Signal) for private messaging.
Okay, I'm declaring my #idris library https://gitlab.com/bss03/type-aligned done. I don't have any issues/tasks remaining. `pack-db` should automatically pick up the latest commit during the next update, within 24 hours.
I'm still open for all kinds of feedback, but until I get some, I think I'm going to switch to a PureScript project for a bit. I need to update to spago 1.x and figure out how to publish packages in that ecosystem. I need left Kan extensions to do the nseted (non-uniform) folds I was working on.
Plus, I feel like working with Halogen might make me more comfortable with React, or at least make me more interested in polishing those skills for a potential employer.