------------------------------------------------------------------------------- -- | -- Module : CCO.ArithBool.AG -- Copyright : (c) 2008 Utrecht University -- License : All rights reserved -- -- Maintainer : stefan@cs.uu.nl -- Stability : provisional -- Portability : portable -- -- Attribute grammar for arithmetic and boolean expressions. -- ------------------------------------------------------------------------------- module {CCO.ArithBool.AG} {} {} include "AG/Base.ag" include "AG/Evaluation.ag" include "AG/Pos.ag" include "AG/Printing.ag" include "AG/Typing.ag"