Giters

agda / agda2hs

Compiling Agda code to readable Haskell

Home Page:https://agda.github.io/agda2hs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Conformance testing of the agda2hs Prelude

jespercockx opened this issue · comments

commented

It would be good to have some kind of testing that ensures our implementation of the Haskell prelude is correct. For example, for each function we could compile our implementation to Haskell and use QuickCheck to check that it is equivalent to the builtin one.