ContentsIndex
Assistant.Rule
Portabilityportable (depende de GHC - GTK2HS)
StabilityVersion de juguete.
Contents
Tipos
Constantes
Metodos
Description
Definicion de una regla de derivacion
Synopsis
data Rule
= Axiom
| Start
| Weakening
| Application
| Product
| Abstraction
| Conversion
rnAxiom :: String
rnStart :: String
rnWeak :: String
rnApp :: String
rnProd :: String
rnAbs :: String
rnConv :: String
Tipos
data Rule
Definicion de un juicio. Lo definimos como una terna, donde la primer componente es el contexto del juicio, el segundo es el termino y el tercero es el tipo de dicho termino en ese juicio.
Constructors
Axiom
Start
Weakening
Application
Product
Abstraction
Conversion
show/hide Instances
Constantes
rnAxiom :: String
Definicion de los nombres de reglas de derivacion aplicables:
rnStart :: String
rnWeak :: String
rnApp :: String
rnProd :: String
rnAbs :: String
rnConv :: String
Metodos
Produced by Haddock version 0.8