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