diff options
| author | Eduardo Julian | 2021-09-12 15:39:55 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-12 15:39:55 -0400 |
| commit | 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (patch) | |
| tree | 14bc8b5abe09b46ef005c3ff7cf132f1d98ddf0d /stdlib/source/library/lux/data/text/unicode/block.lux | |
| parent | dda05bca0956af5e5b3875c4cc36e61aa04772e4 (diff) | |
Re-named \ => # && \\ => ##
Diffstat (limited to 'stdlib/source/library/lux/data/text/unicode/block.lux')
| -rw-r--r-- | stdlib/source/library/lux/data/text/unicode/block.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/data/text/unicode/block.lux b/stdlib/source/library/lux/data/text/unicode/block.lux index 770ae8554..051bbd585 100644 --- a/stdlib/source/library/lux/data/text/unicode/block.lux +++ b/stdlib/source/library/lux/data/text/unicode/block.lux @@ -8,7 +8,7 @@ ["[0]" interval {"+" [Interval]}]] [math [number {"+" [hex]} - ["n" nat ("[1]\[0]" interval)] + ["n" nat ("[1]#[0]" interval)] ["[0]" i64]]] [type abstract]]] @@ -22,17 +22,17 @@ (def: identity (:abstraction - (interval.between n.enum n\top n\bottom))) + (interval.between n.enum n#top n#bottom))) (def: (composite left right) (let [left (:representation left) right (:representation right)] (:abstraction (interval.between n.enum - (n.min (\ left bottom) - (\ right bottom)) - (n.max (\ left top) - (\ right top))))))) + (n.min (# left bottom) + (# right bottom)) + (n.max (# left top) + (# right top))))))) (def: .public (block start additional) (-> Char Nat Block) |