Changes between Version 1 and Version 2 of TypeNats/InductiveDefinitions

Show
Ignore:
Timestamp:
02/06/11 14:32:52 (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeNats/InductiveDefinitions

    v1 v2  
    4444autoSplit xs = res 
    4545  where res@(as,_) = split len xs 
    46 }}}                                                              45,3          Top 
     46 
     47}}}                
     48 
     49