git.iko.soy/Idris-dev
on fcb66ca help sign in
Idris-dev/test/test015
4 files
../ Parity.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion expectedDeal with shadowing better in patterns Variable names in patterns should override global names, as long as they are not applied to anything. If the global name is desired (e.g. if it is the result of a dependency elsewhere, either use a _ or give the quali… runAdd argument passing to new tests test015.idrEXPERIMENTAL: Syntax for applying functions by expected type "t <== f" applies a function f to arguments in such a way that it returns something of type t. The <== is a placeholder syntax until someone comes up with something better. (Alternative: t by f, …