duckling/Duckling/Rules
Julien Odent 54c9448fba Rename Number to Numeral
Summary: For consistency with the dimension name.

Reviewed By: JonCoens

Differential Revision: D4722216

fbshipit-source-id: 82c56d3
2017-03-16 13:49:16 -07:00
..
AR.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
Common.hs Move onto dependent-sum instead of custom local data Some 2017-03-15 10:34:17 -07:00
DA.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
DE.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
EN.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
ES.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
ET.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
FR.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
GA.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
ID.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
IT.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
JA.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
KO.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
MY.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
NB.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
NL.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
PL.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
PT.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
RO.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
RU.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
SV.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
TR.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
UK.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
VI.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00
ZH.hs Rename Number to Numeral 2017-03-16 13:49:16 -07:00