See the official user manual for the most up-to-date version of the information on this page.

There are three backends for Agda: Haskell (MAlonzo), Javascript, and Epic.

Page last modified on December 14, 2018, at 06:33 pm
Powered by PmWiki