Submitted

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.