diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-09-09 11:09:32 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-09-09 11:09:32 +0200 |
commit | a3356d34bbbce555d50dca8b82a0f5881af0d941 (patch) | |
tree | 0fe827c022e6f7e086bc4eab2b46e16ff384638f | |
parent | 9e5b2e212f735eca25d9c183d453c91f77bb53f4 (diff) |
add documentation link
-rw-r--r-- | prototypes/LamMachineV2.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/prototypes/LamMachineV2.hs b/prototypes/LamMachineV2.hs index a9556888..0d51d8a8 100644 --- a/prototypes/LamMachineV2.hs +++ b/prototypes/LamMachineV2.hs | |||
@@ -1,3 +1,8 @@ | |||
1 | -- Lazy evaluation machine | ||
2 | -- | ||
3 | -- LamMachine is a variant of the machine described in | ||
4 | -- "Deriving a Lazy Abstract Machine" (1997) by Peter Sestoft | ||
5 | |||
1 | {-# LANGUAGE OverloadedStrings #-} | 6 | {-# LANGUAGE OverloadedStrings #-} |
2 | {-# LANGUAGE PatternSynonyms #-} | 7 | {-# LANGUAGE PatternSynonyms #-} |
3 | {-# LANGUAGE PatternGuards #-} | 8 | {-# LANGUAGE PatternGuards #-} |