/agda-uhc

UHC backend for Agda

Primary LanguageHaskellMIT LicenseMIT

This repository is not active