*) (*[ reduce <: pRedex -> pAtom ]*) fun reduce (Atom(tm2):::Infix(_,con):::Atom(tm1):::p') = Atom(con(tm1 ... http://www.cs.cmu.edu/afs/cs/user/rowan/www/src/twelf-parsin...
Search
All rights reserved. All other trademarks recognized. Copyright 1997-2008 - BioPortfolio Limited.