Brendan Zabarauskas@brendanzabReplying to @thingskatedidummmm12:13 AM · Feb 3, 2021·Twitter Web App3 Likes
Brendan Zabarauskas@brendanzab·Feb 3, 2021Replying to @brendanzab and @thingskatedidI definitely should not be goofing around with bleeding edge theorem provers while pondering low level attribute grammar compilers implemented in assembly, so no2
