diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-09-09 11:01:44 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-09-09 11:01:44 +0200 |
| commit | 9e5b2e212f735eca25d9c183d453c91f77bb53f4 (patch) | |
| tree | 69cf33bd47014e102b8706d3b90430af2392e220 /src | |
| parent | ac1bb0820fb3368bc902bf9d7b5d58ae0eeb2ec8 (diff) | |
add documentation link
Diffstat (limited to 'src')
| -rw-r--r-- | src/LambdaCube/Compiler/Patterns.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/LambdaCube/Compiler/Patterns.hs b/src/LambdaCube/Compiler/Patterns.hs index f270610d..df166dd2 100644 --- a/src/LambdaCube/Compiler/Patterns.hs +++ b/src/LambdaCube/Compiler/Patterns.hs | |||
| @@ -1,3 +1,8 @@ | |||
| 1 | -- Pattern match compilation | ||
| 2 | -- | ||
| 3 | -- overview: | ||
| 4 | -- https://rawgit.com/BP-HUG/presentations/master/2016_april/pattern-match-compilation/patternMatchComp.html | ||
| 5 | |||
| 1 | {-# LANGUAGE LambdaCase #-} | 6 | {-# LANGUAGE LambdaCase #-} |
| 2 | {-# LANGUAGE ViewPatterns #-} | 7 | {-# LANGUAGE ViewPatterns #-} |
| 3 | {-# LANGUAGE PatternSynonyms #-} | 8 | {-# LANGUAGE PatternSynonyms #-} |