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

OmniLotus@lemmy.dbzer0.com ⁨5⁩ ⁨days⁩ ago

Graded Modal Dependent Type Theory

source
Sort:hotnewtop