GitHub repository: viercc/agda-container-plus
Primary language: Agda
Created: 2023-02-06T14:46:40Z
Description: Applicative laws, presentation of container applicative