search

NICTA / text1

Non-empty text
Other
3 stars 1 forks source link

init1 is tail #1

Closed puffnfresh closed 9 years ago

puffnfresh commented 9 years ago

And seems like it could be simplified to:

init1 ::
  Text1
  -> Text
init1 (Text1 _ t) =
  t