Brendan Zabarauskas on Twitter

Lovely set of slides about combining dependent types (CIC) and effects pédrot.fr/slides/geolac-, via

2

3

Oooh, thanks for posting this! I see

appreciates it too. :) :)

1

2

Replying to

Added to my growing list: github.com/pikelet-lang/p 😆 - all of this stuff is still a bit confusing. Do you know if the talk was recorded?

Conversation