This page holds patches yet to be reviewed and applied by Ulf.
- Add an indirection for the fontset to use for Agda indirection_for_fontset-agda2, Makoto Takeyama, 2008-09-04
- Fixed Interaction.Imports.matchFileName for Windows fixed_matchFileName, Makoto Takeyama, 2008-08-27
- MAlonzo FFI support MAlonzoFFIsupport, Makoto Takeyama, 2008-06-04
- MAlonzo compiler (2nd try) MAlonzo_2, Makoto Takeyama, 2008-04-02
- option --no-injectivity-check no-injectivity-check, Makoto Takeyama, 2008-04-01
MAlonzo compiler added_MAlonzo_compiler, Makoto Takeyama, 2008-04-01
This patch was incomplete. Please use the MAlonzo_2 patch below. If you have already applied this, please darcs unpull it.
Page last modified on September 04, 2008, at 06:11 AM
Powered by PmWiki