diff options
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/function.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/function.lux | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/function.lux b/lux-jvm/source/luxc/lang/translation/jvm/function.lux index 0fe7717fb..6c03bd482 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/function.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/function.lux @@ -10,11 +10,12 @@ ["." product] [text ["%" format (#+ format)]] - [number - ["n" nat] - ["i" int]] [collection ["." list ("#@." functor monoid)]]] + [math + [number + ["n" nat] + ["i" int]]] [target [jvm ["." type (#+ Type) |