GitHub repository: xieyuheng/pure
Primary language: Agda
Description: A little agda library for categorical semantics.