-
- Downloads
Add min and max functions to the language
Actually both of them is twice defined: - min : Z*Z-> Z - min : R*R-> R - max : Z*Z-> Z - max : R*R-> R
Loading
Please register or sign in to comment
Actually both of them is twice defined: - min : Z*Z-> Z - min : R*R-> R - max : Z*Z-> Z - max : R*R-> R