Conversation

You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more

Brendan Zabarauskas

@brendanzab

Replying to

@OwoTizusa

Your accent wasn't distracting at all! Also, really cool presentation! 🎉

10:43 AM · Aug 23, 2021Twitter Web App

Replying to

and

I was thinking of elaborating my data decls to something like the large elimination thing, but yeah, it's interesting to see the issues with it (having to respect the rules of pattern matching). Given me food for thought and will look at your solution!

Brendan Zabarauskas

@brendanzab

Aug 23, 2021

I guess I get a bit annoyed with having to have a 'top level' of commands to add data definitions, functions, etc… really wish we could just have everything be terms… but it seems to be really hard… ; _ ;