1a38107941725211e7c3f051f7a8f5e12199f03acmaeder{-# OPTIONS -fglasgow-exts #-}

5efb71382fdcce83a76a6d40e5f8def0462bf8a8Francisc Nicolae Bungiumodule GMP.MajorityL where

e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elkner

5efb71382fdcce83a76a6d40e5f8def0462bf8a8Francisc Nicolae Bungiuimport GMP.ModalLogic

e5ea4eeaeefd3521ae3475719e18c96cf91637d5Felix Gabriel Manceimport GMP.GMPAS

5efb71382fdcce83a76a6d40e5f8def0462bf8a8Francisc Nicolae Bungiuimport GMP.Lexer

5efb71382fdcce83a76a6d40e5f8def0462bf8a8Francisc Nicolae Bungiu

5efb71382fdcce83a76a6d40e5f8def0462bf8a8Francisc Nicolae Bungiudata MLrules = MLR [Int] [Int]

5efb71382fdcce83a76a6d40e5f8def0462bf8a8Francisc Nicolae Bungiu deriving Show

5efb71382fdcce83a76a6d40e5f8def0462bf8a8Francisc Nicolae Bungiu

5efb71382fdcce83a76a6d40e5f8def0462bf8a8Francisc Nicolae Bungiuinstance ModalLogic ML MLrules where

5efb71382fdcce83a76a6d40e5f8def0462bf8a8Francisc Nicolae Bungiu

5efb71382fdcce83a76a6d40e5f8def0462bf8a8Francisc Nicolae Bungiu flagML _ = None

5efb71382fdcce83a76a6d40e5f8def0462bf8a8Francisc Nicolae Bungiu

ed1b8e97e72b2e3e92edaf2eb22a4b5373d705f1Felix Gabriel Mance parseIndex = do n <- natural

5efb71382fdcce83a76a6d40e5f8def0462bf8a8Francisc Nicolae Bungiu return $ ML (fromInteger n)

386bd8214f3137fe84c392cd58338130d2f80607Felix Gabriel Mance

332dadf617c7fdc3353346f6b8e1c4d918214f3cChristian Maeder matchR _ = []

332dadf617c7fdc3353346f6b8e1c4d918214f3cChristian Maeder

386bd8214f3137fe84c392cd58338130d2f80607Felix Gabriel Mance guessClause _ = []

386bd8214f3137fe84c392cd58338130d2f80607Felix Gabriel Mance