Agda-2.3.2.2-haskell-export
Haskell
★ 0
updated 12y ago
▣ archived
Experiment on exporting Agda into Haskell(a la Coq Extraction) based on Agda 2.3.2.2
No plain-English explanation yet — one is being written right now. Check back in a minute.