Conversation

Unbundling in Agda

1

3

In Agda for Agda; string manipulation pushed to the edge 🥸

2

Brendan Zabarauskas

Replying to

and

`infix -666` 🙈

1:31 AM · Apr 22, 2021Twitter Web App