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 👈
types dot pilk
oh, blurple
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 👈
putStrLn "im gay"
⊢ Γ
boosted
niss@chitter.xyz 
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
i have some coq code here. how much, by line count, do you think is just fucking around with setoids
greetings from setoid hell
ty🅿️es
nthe
:wide_η:
these days i just use my main (@niss) for everything sorry
Joined Oct 2020
