ehmry/dhall-haskell
ehmry/dhall-haskell
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update documentation

Browse Source
This commit is contained in:
Gabriel Gonzalez 2016-09-13 08:36:39 -07:00
parent 9e8c86e93f
commit 77c45103b3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Dhall/Core.hs
View File

@ -694,7 +694,7 @@ Explanation: There are four levels of expressions that form a heirarchy:
The following annotations illustrate this heirarchy:
"ABC" : (Text : (Type : Kind))
"ABC" : Text : Type : Kind
Every term has a type. For example, the term `"ABC"` has type `Text`
Every type has a kind. For example, the type `Text` has kind `Type`