me: intentionally sets up a system of logic that will have completeness
me, later: bruh yoo check out this cool result we can prove completeness

whenever i eventually stop on my main might be twilight on this account instead cause it kinda fits

yo there's other homestucks on here too hell yeah

i know hazel's busy right now but god

imagine if you could write with LaTeX syntax on here

for anyone curious as to what i'm doing academically, currently writing my bachelor's in intuitionistic logic (Kripke models and proving completeness for them).

nah i'll make a different one but for now use my normal one

Show thread
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.