[Agda-dev] MAlonzo reference
Andrés Sicard-Ramírez
asr at eafit.edu.co
Sat Dec 19 18:04:07 CET 2015
Hi,
The release notes for Agda 2.2.6 says
( https://github.com/agda/agda/blob/master/CHANGELOG#L5035-L5036 )
* The Agate and Alonzo compilers have been retired. The options
--agate, --alonzo and --malonzo have been removed.
This information doesn't seem correct because there are modules for
Agate, Alonzo and MAlonzo in the Hackage documentation for Agda 2.2.6
http://hackage.haskell.org/package/Agda-2.2.6
Anyway, for Alonzo and Agate I found the following references, respectively
http://www.mimuw.edu.pl/~ben/Papers/TYPES07-alonzo.pdf
https://www.jstage.jst.go.jp/article/jssst/26/4/26_4_4_107/_pdf
What 'MAlonzo' stand for?
Is there some bibliographic reference for MAlonzo?
Best,
--
Andrés
More information about the Agda-dev
mailing list