diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-01-20 10:08:50 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-01-20 10:10:23 +0100 |
| commit | 44aef5edecd4e9263927c856c23567a3670f2b36 (patch) | |
| tree | 5ef2153478910fc7e6e6beaa8d8183c52d575745 /lc | |
| parent | d1c1b97c50071eacb93d3773a621df18e9075781 (diff) | |
refactoring; more prim reductions; begin to strengthten type annotations
Diffstat (limited to 'lc')
| -rw-r--r-- | lc/Internals.lc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lc/Internals.lc b/lc/Internals.lc index 5d5a38b1..596bf372 100644 --- a/lc/Internals.lc +++ b/lc/Internals.lc | |||
| @@ -4,6 +4,8 @@ module Internals where | |||
| 4 | 4 | ||
| 5 | undefined :: forall (a :: Type) . a | 5 | undefined :: forall (a :: Type) . a |
| 6 | 6 | ||
| 7 | primFix :: forall (a :: Type) . (a -> a) -> a | ||
| 8 | |||
| 7 | data Unit = TT | 9 | data Unit = TT |
| 8 | data String | 10 | data String |
| 9 | data Empty (a :: String) | 11 | data Empty (a :: String) |