GitHub repository: lemastero/agda-smash
Primary language: Agda
Created: 2022-06-07T13:47:50Z
Description: smash product in Agda