diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2015-10-02 00:47:03 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2015-10-02 00:47:03 +0200 |
| commit | 1381ae9a838468b392e3e1ac5ce5673ff5d2d4e3 (patch) | |
| tree | bb14a8988c8b82a5153222a31816dec2d751541d /prototypes/TCReduce.hs | |
| parent | af427177aacf6baafc023c83a36dd9565368d6d9 (diff) | |
add a reference
Diffstat (limited to 'prototypes/TCReduce.hs')
| -rw-r--r-- | prototypes/TCReduce.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/prototypes/TCReduce.hs b/prototypes/TCReduce.hs index 75a1db45..126e0d35 100644 --- a/prototypes/TCReduce.hs +++ b/prototypes/TCReduce.hs | |||
| @@ -1,4 +1,5 @@ | |||
| 1 | -- Ideas take from http://www.andres-loeh.de/LambdaPi/ | 1 | -- Ideas taken from http://www.andres-loeh.de/LambdaPi/ |
| 2 | -- and "Efficient Bracket Abstraction Using Iconic Representations for Combinators" by Antoni Diller | ||
| 2 | {-# LANGUAGE LambdaCase #-} | 3 | {-# LANGUAGE LambdaCase #-} |
| 3 | {-# LANGUAGE BangPatterns #-} | 4 | {-# LANGUAGE BangPatterns #-} |
| 4 | {-# LANGUAGE ViewPatterns #-} | 5 | {-# LANGUAGE ViewPatterns #-} |