Isaac Elliott@ielliott95·Jul 13, 2019Ah yeah. I was worried this would happen so I wrote it in Agda then pasted it into a .hs file and did some text processing.22
Brendan Zabarauskas@brendanzabReplying to @ielliott95 and @pigworkerIs it public? :35:09 AM · Jul 13, 2019·Twitter for iPhone
Isaac Elliott@ielliott95·Jul 14, 2019Replying to @brendanzab and @pigworkerhttps://github.com/lightandlight/como…1
