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