6 lines
69 B
Text
6 lines
69 B
Text
|
#import std
|
||
|
|
#import nat
|
||
|
|
#import flo
|
||
|
|
|
||
|
|
nth_diff "n" = rep"n" minus*typ
|