agda2hs

Contents

  • Introduction
  • Features
  • Imports
  • Rewrite rules and Prelude imports
  • Emacs mode
  • Tutorials
agda2hs
  • Search

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

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