diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/math/constructive.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/math/constructive.lux b/stdlib/source/lux/math/constructive.lux index b154e9c20..2a904f7cb 100644 --- a/stdlib/source/lux/math/constructive.lux +++ b/stdlib/source/lux/math/constructive.lux @@ -25,12 +25,12 @@ (.All [t] (.Ex [w] (-> t (Witness t w)))) - (.|>> @abstraction)) + (.|>> :abstraction)) (.def: #export ? (.All [t w] (-> (Witness t w) t)) - (.|>> @representation)) + (.|>> :representation)) ) (syntax: #export (@ {name s.symbol}) |