Changes between Version 4 and Version 5 of TypeNats/InductiveDefinitions


Ignore:
Timestamp:
Feb 6, 2011 10:34:15 PM (4 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/InductiveDefinitions

    v4 v5  
    4444autoSplit xs = res 
    4545  where res@(as,_) = split len xs 
    46         len = toUNat (vecLen as) 
     46        len        = toUNat (vecLen as) 
    4747}}}                
    4848