Changes between Version 2 and Version 3 of TypeNats/Examples


Ignore:
Timestamp:
Feb 6, 2011 10:23:44 PM (5 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Examples

    v2 v3  
    1919
    2020split :: UNat m -> Vec (m + n) a -> (Vec m a, Vec n a)
    21 split _ Nil   = (Nil,Nil)
    2221split Zero xs = (Nil, xs)
    2322split (Succ n) (Cons x xs)  = case split n xs of