 | Implementations of various lambda calculus based systems. | Source code | Contents | Index |
| Typed.TypeSystem |
|
| typeOf :: Context -> Term -> Type |
| typeOf :: Context -> Term -> Type | Source |
| ||||||
| ||||||
| Description | ||||||
| Type system of the typed system. | ||||||
| Synopsis | ||||||
| ||||||
| Documentation | ||||||
| ||||||
| Tries to type the given Term, w.r.t. the given Context. | ||||||
| Produced by Haddock version 2.4.2 |