Conversation

You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
This Tweet is from a suspended account. Learn more
Show replies
wordchads code in agda (esp. since it doesn't have a good tactic system so you have to thread through proof codes by designing your program/API well enough usually).
1
4
Show replies