• View
• Edit
• History
• Print

TranslatingHaskellIntoAgda

Translating Haskell into Agda using domain predicates or coinductive types following Bertot.

contact person: Ana Bove

Follow this link for information about this project.