Ur Rosetta Stone
Revision as of 16:20, 24 June 2011
These rough translations are designed to aid understanding, rather than to be rigorous! In some cases the types of the Ur functions and the functions in other languages will correspond exactly; in other cases the Ur function types will be more precise and/or more general.
|eq||instance Eq Maybe|
|ord||instance Ord Maybe|