Don't like ads? PRO users don't see any ads ;-)
Public Pastes
Guest

Untitled

By: a guest on Jun 16th, 2012  |  syntax: None  |  size: 1.28 KB  |  hits: 16  |  expires: Never
download  |  raw  |  embed  |  report abuse  |  print
Text below is selected. Please press Ctrl+C to copy to your clipboard. (⌘+C on Mac)
  1. tails = (| [singl.nil , ext] |)
  2.  
  3.  
  4. tails.in = [singl.nil,ext] . (id + id x tails)
  5.  
  6.  
  7. tails.in = [singl.nil , ext.(id x tails)]
  8.  
  9.  
  10. [tails.nil , tails.cons] = [singl.nil , cons.(cons x id).<(id x head) , p2>.(id x tails)]
  11.  
  12.  
  13.  
  14. tails.nil = singl.nil
  15. tails.cons = cons.(cons x id).<(id x head), p2>.(id x tails)
  16.  
  17.  
  18.  
  19.  
  20. tails.nil = singl.nil
  21. tails.cons = cons.(cons x id).< (id x head).(id x tails), p2.(id x tails) >
  22.  
  23.  
  24. tails.nil = singl.nil
  25. tails.cons = cons.(cons x id).< (id x head).(id x tails), p2.(id x tails) >
  26.  
  27.  
  28. tails.nil = singl.nil
  29. tails.cons = cons.<cons.(id x head).(id x tails), id.p2.(id x tails) >
  30.  
  31.  
  32. tails.nil = singl.nil
  33. tails.cons = cons.<cons.(id x head.tails), id.p2.(id x tails) >
  34.  
  35.  
  36. tails.nil x = singl.nil x
  37. tails.cons (a,x) = cons.< cons.(id x head.tails) , id.p2.(id x tails) > (a,x)
  38.  
  39.  
  40. tails []= [[]]
  41. tails (a:x) = cons.(cons.(id x head.tails) (a,x) , p2.(id x tails) (a,x) )
  42.  
  43.  
  44. tails []= [[]]
  45. tails (a:x) = cons.(cons.(a , head (tails x))  , p2.(a , tails x) )
  46.  
  47.  
  48. tails []= [[]]
  49. tails (a:x) = cons.( a : head (tails x))  ,  tails x )
  50.  
  51.  
  52. tails []= [[]]
  53. tails (a:x) = ( a : head (tails x)): tails x
  54.  
  55.  
  56. DEF (HEAD , TAILS) isto meti este passo por isso é porque tá certo :D
  57.  
  58. tails [ ] = [[ ]]
  59. tails (a : x ) = (a : b) : tails x where b : = tails x
create a new version of this paste RAW Paste Data