search

agda / agda2hs

Compiling Agda code to readable Haskell
https://agda.github.io/agda2hs
MIT License
178 stars 37 forks source link

Fix for #359 #360

Closed jespercockx closed 2 months ago

jespercockx commented 2 months ago

This fixes #359 by not reapplying clauses of projection-like functions to their parameters.