-
Iavor S. Diatchki authored
For the moment, the kind of the numerical literals is the type "Word" lifted to the kind level. This should probably be changed in the future.
826b75a9
For the moment, the kind of the numerical literals is the type "Word" lifted to the kind level. This should probably be changed in the future.