Hazel 
@hazel@types.pl
Admin
types.pl admin. they.
math & computer science student at indiana university bloomington. it's been conjectured that i exist but nobody's been able to prove it.
Joined Oct 2020
all new agda burger which you order via the webapp but you just get the wrapper and in order to get the actual burger you have to follow a seven step process that involves editing a text file
"what's equality" - the greatest thread in the history of programming languages, locked after 8130 pages of debate,
@tulips @estrogendofunctor whoops me
@estrogendofunctor You're... welcome...?
Hazel
I am not doing Advent of Code and I would recommend also not doing Advent of Code
WHO THE FUCK IS SCREAMING "REIFY" AT MY WINDOW. SHOW YOURSELF COWARD. I WILL NEVER REIFY.
type theory (DEROGATORY)
She mon-in on my ad 'til I attempt to get a trace of linear execution and fuck up the entire stack.
bingus
Hazel
boosted
boosted
ICYMI: Hazel Levine (Indiana) at #RacketCon
Design Recipe Guided Synthesis with Bingus
Source for Bingus https://github.com/ralsei/bingus
#Racket #RacketLang #RacketLanguage #htdp #ProgramSynthesis @hazel
← what is this country and why are all the girls from here into type theory
types.🇵🇱
Admin
types.pl admin. they.
math & computer science student at indiana university bloomington. it's been conjectured that i exist but nobody's been able to prove it.
Joined Oct 2020
Hazel 's choices:
