annotate paper/src/natural_transformation_list.hs @ 92:0354d3693324 default tip

Added tag paper_final for changeset 6a12eb22be8c
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 01 Mar 2015 13:08:51 +0900
parents 1181b4facaf9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
22
fc44782929a7 Add monad in Haskell
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 tail :: List a -> List a
fc44782929a7 Add monad in Haskell
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 tail Nil = Nil
fc44782929a7 Add monad in Haskell
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 tail (Cons x xs) = xs