masters-thesis
TeX
★ 0
updated 12y ago
▣ archived
Experiment on exporting Agda into Haskell(a la Coq extraction) - paper and presentations in Russian and theory scratchpad in English
No plain-English explanation yet — one is being written right now. Check back in a minute.