[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