Sign inSign up

agda/agda2hs

Compiling Agda code to readable Haskell

AgdaStars 195Forks 45Watchers 195Open issues 61License MIT License
Details
仓库信息
Owneragda
Homepagehttps://agda.github.io/agda2hs
GitHubhttps://github.com/agda/agda2hs
Last pushed2025-11-29
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--