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

OmniLotus@lemmy.dbzer0.com ⁨3⁩ ⁨weeks⁩ ago

Graded Modal Dependent Type Theory

source
Sort:hotnewtop