Conversation

This Tweet was deleted by the Tweet author. Learn more

This Tweet was deleted by the Tweet author. Learn more

This Tweet was deleted by the Tweet author. Learn more

Brendan Zabarauskas

What could be improved about the universe handling? Cumulativity? Or something more like McBride's blog post? pigworker.wordpress.com/2015/01/09/uni (I've had trouble getting my head around how to turn the latter into an implementation... 🙄)

This Tweet was deleted by the Tweet author. Learn more

This Tweet was deleted by the Tweet author. Learn more

Brendan Zabarauskas

Cool! I was interested in adopting it in Pikelet - I guess the main impediment is not having a detailed example of it (either in formal notation or an implementation).

This Tweet was deleted by the Tweet author. Learn more

This Tweet was deleted by the Tweet author. Learn more

Brendan Zabarauskas

Yeah, would love to chat. Is this in redtt or redprl somewhere too?

2

Brendan Zabarauskas

Replying to

and

Also not familiar with who these ‘swedes’ are - must be a bit out of the loop 😅

9:16 AM · Aug 25, 2018Twitter for iPhone