Cross Reference: /hets/GMP/GradedML.hs

GradedML.hs revision 34240f064586e8d1fdbc4b341431626f92c77bd5

module GradedML where

import GMPAS

import ModalLogic

import Lexer

instance ModalLogic Integer where

parseIndex = natural