20070903-1

Running

  Agda2/examples/AIM6/RegExp/talk> agda -v9 SimpleMatcher.agda 
  agda: unbound variable

The bug must be in TypeChecking/Conversion.hs

Edit | History | Recent Changes (all) | Search

Page last modified on September 03, 2007, at 01:02 pm