I've been writing a Haskell compiler. Hasekllslut I miss you
>>43898969I wonder if she'll tripfag it up on aocg this year, I remember her and someone were getting stupider with drama over the yearsin the meantime we need a /g/ thread on tttt for people to sperg up about hasklel and other tism
>>43898969Just move on to dependent types. Lean is waiting.
>>43899003I like my automated theorem proving
>>43898984I really hope she comes back.
>>43899113say her name 3 times in this year's aocg