Changes between Version 2 and Version 3 of TypeNats/Examples


Ignore:
Timestamp:
Feb 6, 2011 10:23:44 PM (3 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