GitHub repository: samuelhklumpers/agda-extras
Primary language: Agda
Created: 2022-06-28T09:21:20Z
Description: Pile of type classes, instances, and proofs of lawfulness