This place is not a place of honour. No highly esteemed deed is commemorated here. Nothing valued is here.
Inkyrius or Inky or Kyrie are all fine.
Girl with a dash of Void.
Queer Trans Nerd. Mostly Harmless.
Interests include programming, formerly Minecraft modding, conlangs, worldbuilding, maps, typography, etc.
i actually tried something one time. the original idea was to have a fairly generic description of categories and functors and just describe as much as possible in terms of that; that way youd be better able to program in different types of categories. even wanted to work on a custom syntax for it - some do-notation equivalent - but i didnt really end up getting around to it
unfortunately ghc the type checker limitations and compiler errors piled on until i just completely lost motivation on the project. so i decided to just make it a programming language instead x3
i think alternative preludes rock. let me know if its alright for me to add a Lattice typeclass so i dont have to keep going through the whole rigmarole of importing prelude to hide (||), then importing prelude qualified, and then redefining (||) just to make it work with predicates :3
(i seriously do not understand how ghc has been around for 3 decades and we still dont have this)
(and i apologize in advance for anything stupid i do in github im not really used to this thing xP)