GitHub repository: JasonGross/lob-paper
Primary language: Agda
Created: 2016-02-25T23:34:29Z
Description: A write-up of https://github.com/JasonGross/lob