Brian Huffman f609b36225 Rename primitive demote to the more self-explanatory name number. ... The name "demote" is only meaningful to those who already know what the Cryptol primitive does. Also, due to recent changes in the error and warning messages, the name "demote" is showing up much more often in REPL output. For example: Defaulting type argument 'rep' of 'demote' to [2] Showing a specific instance of polymorphic result: * Using 'Integer' for type argument 'rep' of 'Cryptol::demote' These messages will hopefully be made less confusing to non-experts if the name "demote" is replaced with "number".		2018-07-27 13:52:57 -07:00
..
data	Rename primitive demote to the more self-explanatory name number.	2018-07-27 13:52:57 -07:00
Main.hs	Merge Cryptol/Extras.cry with Cryptol.cry	2018-05-23 15:55:05 -07:00