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