5 lines
88 B
Text
5 lines
88 B
Text
#import nat
|
|
#import lin
|
|
|
|
id = @h ^|CzyCK33/1.! 0.!*
|
|
mex = ||id@l mmult:-0^|DlS/~& iota
|