agda2hs
Contents
Introduction
Features
Imports
Rewrite rules and Prelude imports
Emacs mode
Tutorials
agda2hs
agda2hs Documentation
View page source
agda2hs Documentation
Contents
Introduction
Features
Imports
Rewrite rules and Prelude imports
Emacs mode
Tutorials