|
Assistant.Rule | Portability | portable (depende de GHC - GTK2HS) | Stability | Version de juguete. |
|
|
|
|
|
Description |
Definicion de una regla de derivacion
|
|
Synopsis |
|
|
|
|
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 | |
| 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 |