2:08:31Type Theory in Purescript 05: Pretty Printing & Testing Proof Searchcvlad fp102 viewsView & Download
12:25Chronofold: a data structure for versioned text — Victor GrishchenkoPaPoC Workshop246 viewsView & Download