The Comonad.Readertypes, (co)monads, substructural logic

Live Coding — Session 16: Relational Programming, Part 2

Edward Kmett

Watch on YouTube · 289 minutes

Picking up from where we left off last stream ("Back from ICFP") we continue forging on building a little library for relational programming in the spirit if not the style of minikanren. -- Watch live at https://www.twitch.tv/ekmett