User avatar
privTri Volpeon areon3NSmol @volpeon@icy.wyvern.rip
11mo
I guess I hate myself because I'm porting my Haskell JSON-LD library to see how Lean is different from Haskell. drgn_woozy