20070606-3

Attach:Prelude.agda Attach:Syntax.agda

  abel@istanbul:~/play/Agda2/FomegaSub> agda Syntax.agda
  Skipping Prelude ( ./Prelude.agdai )
  [Syntax.wkTy] does NOT termination check
  [Syntax._[_∈_],Syntax._[_/_]_,Syntax._[_/_∈_],Syntax._$$_∈∈_] does NOT termination check
  Unsolved metas at the following locations:

  abel@istanbul:~/play/Agda2/FomegaSub> emacs Syntax.agda &

Hard to locate ;-)


Fixed.

Page last modified on October 16, 2007, at 12:33 pm
Powered by PmWiki