Comment on fuck it, just paste your clipboard in the comments

OmniLotus@lemmy.dbzer0.com ⁨1⁩ ⁨day⁩ ago

Graded Modal Dependent Type Theory

source
Sort:hotnewtop