|
| 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 |
