Contents

Introduction
Features
Imports
Rewrite rules and Prelude imports
Emacs mode
Tutorials

agda2hs

Index

Index

© Copyright 2022, Jexper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell.

Built with Sphinx using a theme provided by Read the Docs.