swann@evertedsphere·Feb 14, 2020afraid i might finally have an excuse to do some elaborator reflecting14
Brendan Zabarauskas@brendanzabReplying to @rob_rix and @mrkgrnaoI second this6:07 AM · Feb 14, 2020·Twitter for iPhone1 Like
Brendan Zabarauskas@brendanzab·Feb 14, 2020Replying to @brendanzab @rob_rix and @mrkgrnaoWiuld be fun to figure out how to bodge multistage-aware elaborator reflection somehow
