GitHub repository: konn/equational-reasoning-in-haskell
Primary language: Haskell
Description: Agda-style equational reasoning in Haskell