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