Skip to content

Commit

Permalink
Fix a typo (dhall-lang#792)
Browse files Browse the repository at this point in the history
  • Loading branch information
mlang authored and aleator committed Jan 30, 2019
1 parent 87c1572 commit fcabd66
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion dhall/src/Dhall/Tutorial.hs
Original file line number Diff line number Diff line change
Expand Up @@ -1628,7 +1628,7 @@ import Dhall
-- > z) (y.diff (n + List/length { index : Natural, value : a } kvs)) }) { count =
-- > 0, diff = λ(_ : Natural) → nil }).diff 0)
--
-- ... and run the expression through the the formatter:
-- ... and run the expression through the formatter:
--
-- > $ dhall format < ./unformatted
-- > λ(a : Type)
Expand Down

0 comments on commit fcabd66

Please sign in to comment.