Changes between Version 3 and Version 4 of TypeNats/InductiveDefinitions


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/InductiveDefinitions

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