Conversation

Thinking about writing extremely ML-brained Agda

1

7

module Make (o : ORD) where data t = ... I cannot be stopped

2

8

Brendan Zabarauskas

Replying to

Hoping to see `Data.Record` get deployed at some stage 🙃

12:31 PM · Dec 6, 2021Twitter Web App