#

agda2hs

Here are 2 public repositories matching this topic...

mxrnx / verified-lenses

Mathematically verified lenses for agda2hs

haskell agda tudelft-cse-research-project agda2hs

Updated Mar 21, 2023
Agda

mschifferstein / concurrent-haskell-verification

concurrency formal-verification tudelft-cse-research-project agda2hs

Updated Jun 26, 2022
Agda

Improve this page

Add a description, image, and links to the agda2hs topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the agda2hs topic, visit your repo's landing page and select "manage topics."