Conversation

I think we're overdue for another of these. What do you reckon

This Tweet is unavailable.

I would do this again! :)

Yeah it was super fun last time!

I have also learned lots about dependent types since past we met! O___O

Replying to

and

I think the last one of these involved me confusedly trying to figure out type level printf in Idris, and not quite understanding! 😂