Pinned toot

📌​ i still check the local tl on here but i am too lazy to sort posts into different accounts so just follow my main if you're interested 👉 @g@cybre.space 👈

⊢ Γ boosted

please don't ask me what a type is, i have no idea

i have got to know what the fuck the use case is for datatypes in SizeUniv

📌​ i still check the local tl on here but i am too lazy to sort posts into different accounts so just follow my main if you're interested 👉 @g@cybre.space 👈

⊢ Γ boosted

didn't mean to make this a whole day poll

anyway the answer is 57%. excluding the equalities that are actually part of definitions, just the bullshit like instances of Proper and etc

Show thread

i have some coq code here. how much, by line count, do you think is just fucking around with setoids

when your straight friends use the right pronouns

⊢ Γ boosted

@axakatl type theory is figuring out what a pokemon is good against in matchups

Show older
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.