Skip to content

Commit

Permalink
zi as syntax and add content to vector
Browse files Browse the repository at this point in the history
  • Loading branch information
yanyingwang committed May 29, 2024
1 parent 99e6c6b commit 1fc2c85
Show file tree
Hide file tree
Showing 15 changed files with 167 additions and 160 deletions.
10 changes: 5 additions & 5 deletions mapping/racket/base/procedures.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -3,15 +3,15 @@

;; >>> lambda 禾 ;; 道 犭 刁
>>> λ
>>> case-lambda 􏸗 @elem{@zi{入} + @zi{肖}} ;; 􏸗 􏸖 􏸗 𤇕
>>> case-lambda 􏸗 (入 肖) ;; 􏸗 􏸖 􏸗 𤇕
>>> define;; define: (名 a "aaa") ;; define-procedure (禾名 a1 (a) (displayln a)) <= (名 a1 (λ (a) (displayln a1)))
>>> let
>>> apply 𡊤 ;; 应 使 土 士 􏸛 乞 饣 食

>>> procedure? 禾? @elem{@zi{禾} + @zi{?}}
>>> compose 秝 @elem{@zi{禾} + @zi{禾}} ; 秝 秝 􏸛
>>> compose1 􏸕 @elem{@zi{秝} + @litchar{一}}
>>> procedure-rename 􏸘 @elem{@zi{禾} + @zi{名} + @zi{攵}} ;; 名攵 shorts for it
>>> procedure? 禾? (禾 ?)
>>> compose 秝 (禾 禾) ; 秝 秝 􏸛
>>> compose1 􏸕 (秝 一)
>>> procedure-rename 􏸘 (禾 名 攵) ;; 名攵 shorts for it
;; procedure-realm
;; procedure->method
;; procedure-closure-contents-eq?
Expand Down
29 changes: 14 additions & 15 deletions mapping/racket/base/vector.rkt
Original file line number Diff line number Diff line change
@@ -1,23 +1,22 @@
#lang at-exp s-exp "../../../private/mapping-lang.rkt"


>>> vector 􏻿 @elem{与@racket[􏻽]同}
>>> vector? 􏻿? @elem{是否是@racket[􏻿]}
>>> make-vector 􏻺 @elem{构造构造内容是若干而相同元素的@racket[􏻿]}
>>> vector 􏻿 (矢 十)
>>> vector? 􏻿?
>>> make-vector 􏻺 (三 􏻿)
;; >>> make-vector 复􏻿 @elem{构造复@racket[􏻿](数据内各个元素是相同的,类比(昆虫)“复眼”一词取名)}
>>> vector-immutable 􏻼 @elem{构造内容不能被修改的数组} ;; 贞􏻿 坚􏻿 定􏻿 固
>>> vector-length 􏻿巨 @elem{返回􏻿的长度} ;􏻿度
>>> vector-ref 􏻿弔 @elem{返回􏻿的某索引处的元素}
>>> vector-set! 􏻿􏾩 @elem{直接修改原数组中某索引处的元素为新值}
>>> vector-immutable 􏻼 (山 􏻿) ;; 贞􏻿 坚􏻿 定􏻿 固
>>> vector-length 􏻿巨 ;􏻿度
>>> vector-ref 􏻿弔
>>> vector-set! 􏻿􏾩
;; >>> vector*-length vector*-length
;; >>> vector*-ref vector*-ref
;; >>> vector*-set! vector*-set!
;; >>> vector-cas! vector-cas!
>>> vector->list 􏻿化􏿴 @elem{将@racket[􏻿]数据转化为@racket[􏻿]} ; 􏻿->􏿴
>>> list->vector 􏿴化􏻿 @elem{将@racket[􏻿]数据转化为@racket[􏻿]}
>>> vector->immutable-vector 􏻼化 @elem{将@racket[􏻽]数据转化为@racket[􏻼]数据} ;􏻿定化 􏻿坚化 坚化/􏻿 􏻿->定􏻿
>>> vector-fill! 􏻺𰅡 @elem{直接修改@racket[􏻿]数据使其转化成@racket[复􏻿]数据} ;􏻿㙏! 􏼊化!
>>> vector-copy! 􏻿􏾩/以􏾝 @elem{从本􏻿的第N处索引的数值开始做修改(以另一个􏻿的@racket[􏻿􏾝]为内容)} ; 􏾝
>>> vector->values 􏻿􏾝化􏸼 @elem{将@racket[􏻿]数据转化为@racket[􏸼]数据}
>>> build-vector 􏻻 @elem{构造内容是一系列序数的@racket[􏻿]}
;; >>> build-vector 序􏻿 @elem{构造序@racket[􏻿](数据内部的各个个元素是按照一定次序排列的)}
>>> vector->list 􏻿化􏿴 ; 􏻿->􏿴
>>> list->vector 􏿴化􏻿
>>> vector->immutable-vector 􏻼化 ;􏻿定化 􏻿坚化 坚化/􏻿 􏻿->定􏻿
>>> vector-fill! 􏻺𰅡 ;􏻿㙏! 􏼊化!
>>> vector-copy! 􏻿𢪛/以􏾝 ; 􏾝
>>> vector->values 􏻿􏾝化並 (􏻿􏾝 化 並) ; 􏸼
>>> build-vector 􏻻 (弓 􏻿) ; 序􏻿 @elem{构造序@racket[􏻿](数据内部的各个个元素是按照一定次序排列的)}
2 changes: 1 addition & 1 deletion mapping/racket/function.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
;; const*
;; thunk
;; thunk*
>>> negate 𥟍 @elem{@zi{禾} + @racket[非]} ;; ;𥟍􏸝
>>> negate 𥟍 (禾 非) ;; ;𥟍􏸝
;; conjoin
;; disjoin
;; curry
Expand Down
2 changes: 1 addition & 1 deletion mapping/racket/list.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@



;;; (empty 空) not need as one defined same in base (null 空)
>>> empty ;空 ; not need as one defined same in base (null 空)
>>> first 􏷜 (弔 一)
>>> second 􏷛 (弔 二)
>>> third 􏷚 (弔 三)
Expand Down
18 changes: 9 additions & 9 deletions mapping/racket/vector.rkt
Original file line number Diff line number Diff line change
@@ -1,23 +1,23 @@
#lang at-exp s-exp "../../private/mapping-lang.rkt"


>>> vector-empty? 􏻸? @elem{􏻿是否是空} ;空􏻿
>>> vector-set*! 􏻿􏾩+
>>> vector-map 􏻿佫
>>> vector-map! 􏻿
>>> vector-append 􏻹 ;; 土􏻿 土􏿴 贯􏻿
>>> vector-empty? 􏻸? ; 空􏻿
>>> vector-set*! 􏻿𢪛 ; 􏻿􏾩+
>>> vector-map 􏻿􏷑 ;
>>> vector-map! 􏻿􏷉
>>> vector-append 􏻹 (毌 􏻿) ;; 土􏻿 土􏿴 贯􏻿
>>> vector-take 􏻿􏾺
>>> vector-take-right 􏻿𨚞
>>> vector-drop 􏻿􏷵
>>> vector-drop-right 􏻿􏷴
>>> vector-split-at 􏻿􏾺分
>>> vector-split-at-right 􏻿𨚞分
>>> vector-split-at 􏻿􏸄
>>> vector-split-at-right 􏻿􏸃
>>> vector-copy 􏻿􏾝
>>> vector-filter 􏻿􏹈
>>> vector-filter-not 􏻿􏹇
>>> vector-count 􏻿􏹈巨
>>> vector-argmin 􏻿佫之􏺗
>>> vector-argmax 􏻿佫之􏺘
>>> vector-argmin 􏻿􏷑􏺗
>>> vector-argmax 􏻿􏷑􏺘
>>> vector-member 􏻿弓
>>> vector-memv 􏻿弓/􏾗
>>> vector-memq 􏻿弓/􏾃
Expand Down
2 changes: 1 addition & 1 deletion private/scribble-styles/css/cangjie.css

Large diffs are not rendered by default.

45 changes: 32 additions & 13 deletions scribble.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -4,13 +4,13 @@
(provide defmapping defhzify section+elemref section+autotag
eleph-note elucidate
defzi defzis defzi/puauni zi defzi/sub
means
means whmeans
modernly-simplifies anciently-simplifies
simplified-from
simplf-from
modernly-means mingly-resembles
ori-esp-means
;; defradical defcomponent defcharacter defhybrid
defradical defcomponent defsuffix definsert defhas
defradical defcomponent defsuffix defprefix definsert defhas
)
(require scribble/manual racket/string scribble/core
scribble/html-properties
Expand Down Expand Up @@ -46,6 +46,15 @@
#'(elem "suffixed with" (hspace 1) (elemtag str-zi (bold (litchar str-zi)))))
])
)
(define-syntax (defprefix stx)
(syntax-case stx ()
[(_ zi)
(with-syntax ([str-zi (if (number? (syntax-e #'zi))
(number->string (syntax-e #'zi))
(symbol->string (syntax-e #'zi)))])
#'(elem "prefixed with" (hspace 1) (elemtag str-zi (bold (litchar str-zi)))))
])
)
(define-syntax (definsert stx)
(syntax-case stx ()
[(_ zi)
Expand Down Expand Up @@ -81,18 +90,18 @@
(cond [(and (> (length ecr) 2)
(list? (caddr ecr)))
(map (lambda (e) `(zi ,(cond
[(symbol? e) (symbol->string e)]
[(string? e) e]
[(list? e) "need to fix"]
[else "empty"])))
[(symbol? e) e]
[(string? e) (string->symbol e)]
[(list? e) 'needtofix]
[else 'needtofix])))
(caddr ecr))]
[(and (= (length ecr) 2)
(string-contains? (symbol->string cnid) "/"))
(add-between (map (lambda (e) `(racket ,(string->symbol e)))
(string-split (symbol->string cnid) "/"))
`(zi "/"))]
`(zi /))]
[(= (length ecr) 2)
(map (lambda (e) `(zi ,e))
(map (lambda (e) `(zi ,(string->symbol e)))
(filter non-empty-string? (string-split (symbol->string cnid) "")))]
[else '()]))
(define exploded `(elem ,@(add-between raw-exploded " + ")))
Expand Down Expand Up @@ -155,9 +164,17 @@



(define (zi c) ;; zi shorts for hanzi, means chinese char.
(elem #:style (style #f (list (attributes '([class . "highlighted"]))))
(elemref c (racketplainfont c)))
;; (define (zi c) ;; zi shorts for hanzi, means chinese char.
;; (elem #:style (style #f (list (attributes '([class . "highlighted"]))))
;; (elemref c (racketplainfont c)))
;; )
(define-syntax (zi stx) ;; zi shorts for hanzi, means chinese char.
(syntax-case stx ()
[(_ z)
(with-syntax ([str-z (symbol->string (syntax-e #'z))])
#'(elem #:style (style #f (list (attributes '([class . "highlighted"]))))
(elemref str-z (racketplainfont str-z))))
])
)

(define (section+autotag . content)
Expand All @@ -166,6 +183,8 @@

(define (means . content)
(elem "means" (hspace 1) @(italic content)))
(define (whmeans . content)
(elem "which means" (hspace 1) @(italic content)))

(define (eleph-note . content) ;; 像注, elephant in chinese is wrote as 象, and 像 means like, resemble
(margin-note (elem "🐘" (hspace 1) content))) ;; 💡
Expand Down Expand Up @@ -193,6 +212,6 @@
@elem{originally means @elucidate{@ori-elu}, especially means @elucidate{@esp-elu} in ming-lang. @content}
)

(define (simplified-from zi)
(define (simplf-from zi)
@elem{simplified from @litchar{@zi}}
)
8 changes: 4 additions & 4 deletions scribblings/ming-lib/list.scrbl
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@ Extend @secref["pairs-and-lists"].
@defproc[(伄^ [LST 􏿴?] [N-LST (listof 􏺡?)])
􏿴?]
)]{
Composed of @racket[亻], @racket[弔], @racket[^].
@defzi[伄]{Composed of @racket[亻] + @racket[弔] + @racket[^].}
@examples[#:eval (the-eval)
(伄 '(a b c d e f g) 0 2 3)
(伄^ '(a b c d e f g) '(0 2 3))
Expand All @@ -51,7 +51,7 @@ Composed of @racket[亻], @racket[弔], @racket[^].
@; @defproc[(􏾝* [LST 􏿴?] [N1 􏺡?] [N2 􏺡?])
@; 􏿴?]
)]{
Composed of @racket[弔], @racket[阝].
@defzi[􏾝]{composed of @racket[弔] + @racket[阝].}
@examples[#:eval (the-eval)
(􏾝 '(a b c d e f) 0)
(􏾝 '(a b c d e f) 0 0)
Expand All @@ -77,7 +77,7 @@ Composed of @racket[弔], @racket[阝].
@defproc[(􏾘^ [LST 􏿴?] [N-LST (listof? 􏺡?)])
􏿴?]
)]{
Composed of @racket[弔], @racket[刂], @racket[^].
@defzi[􏾘]{Composed of @racket[弔] + @racket[刂] + @racket[^].}
@eleph-note{@racket[􏾺] @racket[𨚞]}
@examples[#:eval (the-eval)
(􏾘 '(a b c d e f g) 1)
Expand Down Expand Up @@ -126,7 +126,7 @@ Composed of @racket[彐], @racket[刂].
@defproc[(􏷍? [LST1 􏿴?] [LST2 􏿴?])
boolean?]{
@racket[LST1]是否是@racket[LST2]的子集。
@defzi[􏷍]{Composed of @zi{亻}, @zi{􏿴}.}
@defzi[􏷍]{Composed of @zi[亻], @zi[􏿴].}
@examples[#:eval (the-eval)
(􏷍? '(a b) '(a b c d e f g))
(􏷍? '(a e) '(a b c d e f g))
Expand Down
2 changes: 1 addition & 1 deletion scribblings/racket-lib/conditionals.scrbl
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@
@eleph-note{@racket[􏸞]}
@itemlist[
@item{@defzi[丫]{imagine a data flow that is importing in, and there are two paths it can be exported out.}}
@item{@defzi[􏸣]{for the data flow case of @zi{丫}, imagine @litchar{一} as a barrier which has blocked one direction of the export paths, thus the other export path is extended.}}
@item{@defzi[􏸣]{for the data flow case of @zi[丫], imagine @litchar{一} as a barrier which has blocked one direction of the export paths, thus the other export path is extended.}}
@item{@defzi[􏸟]{@code{(􏸟 a b1 ...)} is short for @code{(􏸣 (非 a) b1 ...)}.}}
]
@examples[#:eval (the-eval)
Expand Down
35 changes: 17 additions & 18 deletions scribblings/racket-lib/pairs-and-lists.scrbl
Original file line number Diff line number Diff line change
Expand Up @@ -14,11 +14,9 @@


@title[#:tag "pairs-and-lists"]{双 and 􏿴}

Originates from @secref["pairs" #:doc '(lib "scribblings/reference/reference.scrbl")] and Extends to @secref["ming-list"].

@section[#:tag "nameing-rules-of-pair-list"]{Naming Rules}

To extend @secref["naming-rules"], specifically there are:
@tabular[@;#:sep @hspace[0]
#:style 'boxed
Expand Down Expand Up @@ -87,7 +85,7 @@ To extend @secref["naming-rules"], specifically there are:
)
(list
@elem{@defcomponent[入]}
@elem{same as @zi{/入}}
@elem{same as @zi[/入]}
@elem{Implies the type of input data is function.}
@elem{@racket[􏹃] @racket[􏹌] @racket[􏹅] @racket[􏹇] @racket[􏹂]}
)
Expand All @@ -101,7 +99,7 @@ To extend @secref["naming-rules"], specifically there are:
(list
@elem{@defsuffix[分]}
"split data to values"
@elem{@zi{分}}
@elem{@zi[分]}
@elem{@racket[􏹈分]}
)
@; (list
Expand Down Expand Up @@ -170,9 +168,9 @@ Abstractly, we can pair two data together. Integrally, it is called @racket[双]
Further more, if we put another @racket[双] to @racket[阴] position of the former @racket[双], we get a linked data. Likewise, the linked data can be extended as long as you want. By this way, if we leave @racket[阴] of the ending @racket[双] to be empty(@racket[㐅]), we get a data called @racket[􏿴]; if not, we call it @racket[􏿫].

@defzi[双]{@defzi/sub[又]{resembles @italic{the picture of human's right hand trying to hold an object}}. Two human hand here stand for an object with including two holding data.}
@defzi[㐅]{@simplified-from{空}, @means{empty}.}
@defzi[􏿴]{the reaching to left bottom @litchar{又} means multiple @zi{双} linked together, @litchar{㐅} means ending with empty(@zi{㐅}).}
@defzi[􏿫]{resembles @zi{􏿴} except substituting @litchar{㐅} with @litchar{又}, which means the ending position is not empty(@zi{㐅}).}
@defzi[㐅]{@simplf-from{穴}. @defzi/sub[穴]{@simplf-from{空}, @whmeans{empty}}.}
@defzi[􏿴]{the reaching to left bottom @litchar{又} means multiple @zi[双] linked together, @litchar{㐅} means ending with empty(@zi[㐅]).}
@defzi[􏿫]{resembles @zi[􏿴] except substituting @litchar{㐅} with @litchar{又}, which means the ending position is not empty(@zi[㐅]).}
@defzi[阳]{@defzi/sub[日]{means sun, implicitly means the former part of an object, or the position aspect of an object.} Ref to @hyperlink["https://en.wikipedia.org/wiki/Yin_and_yang" "wiki"].}
@defzi[阴]{@defzi/sub[月]{means moon, implicitly means the secondary part of of an object, or the negative aspect of an object.} Ref to @hyperlink["https://en.wikipedia.org/wiki/Yin_and_yang" "wiki"].}

Expand All @@ -195,7 +193,7 @@ Further more, if we put another @racket[双] to @racket[阴] position of the for
]

@section{阴阳+-}
@defzis[阳+/阴+/阳-/阴-]{For the case of functions starting with @zi{阴} or @zi{阳} and following with @litchar{+} or @litchar{-}, @litchar{+} stands for @zi{阳} and @litchar{-} stands for @zi{阴}. @linebreak{}
@defzis[阳+/阴+/阳-/阴-]{For the case of functions starting with @zi[阴] or @zi[阳] and following with @litchar{+} or @litchar{-}, @litchar{+} stands for @zi[阳] and @litchar{-} stands for @zi[阴]. @linebreak{}
For example, @code{(阴+-- lst)} is short for @code{(阴 (阴 (阳 (阴 lst))))}. }
@examples[#:eval (the-eval)
(阴+ '(1 2 3 4))
Expand All @@ -208,7 +206,7 @@ For example, @code{(阴+-- lst)} is short for @code{(阴 (阴 (阳 (阴 lst))))}


@section{􏿝, 􏿜}
@defzis[􏿝/􏿜]{@defzi/sub[毌]{simplified from @litchar{贯}, which means @italic{append, going through a few objects and connect them together}.}}
@defzis[􏿝/􏿜]{@defzi/sub[毌]{@simplf-from{贯}, which means @italic{append, going through a few objects and connect them together}.}}
@examples[#:eval (the-eval)
(􏿴 1 2 3 4)
(􏿝 '(1) '(2) '(3) '(4))
Expand All @@ -234,7 +232,8 @@ For example, @code{(阴+-- lst)} is short for @code{(阴 (阴 (阳 (阴 lst))))}


@section{攸}
@defzi[攸]{@defzi/sub[攵]{means @italic{raping over something to make it changing itself}, especially means @italic{set value}.}}
@defzi[攸]{@defzi/sub[攵]{means @italic{raping over something to make it changing itself}, especially means @italic{set value}.} @defzi/sub[丨]{@means{only changing one value.}}}
@eleph-note{@racket[𰁦] @racket[􏾩] @racket[𢪛]}
@examples[#:eval (the-eval)
(攸 '(10 15 20 25) 1 1555)
(攸/入 '(10 15 20 25) 1 􏽊)
Expand All @@ -254,7 +253,7 @@ For example, @code{(阴+-- lst)} is short for @code{(阴 (阴 (阳 (阴 lst))))}

@section{􏼓, 􏼎}
@defzi[􏼓]{@defzi/sub[三]{@ori-esp-means["three" "duplicate data"]}}
@defzi[􏼎]{@zi{弓}.}
@defzi[􏼎]{@zi[弓].}
@examples[#:eval (the-eval)
(􏼓 5 'foo)
(􏼎 5 並)
Expand Down Expand Up @@ -307,7 +306,7 @@ For example, @code{(阴+-- lst)} is short for @code{(阴 (阴 (阳 (阴 lst))))}
]

@section{巨}
@defzi[巨]{simplified from @litchar{矩}, @ori-esp-means["straightedge, ruler" "measure length"]}
@defzi[巨]{@simplf-from{矩}, @ori-esp-means["straightedge, ruler" "measure length"]}
@eleph-note{@racket[􏹃]}
@examples[#:eval (the-eval)
(巨 '(a b c d e 3 f g))
Expand Down Expand Up @@ -337,7 +336,7 @@ For example, @code{(阴+-- lst)} is short for @code{(阴 (阴 (阳 (阴 lst))))}
]

@section{左􏸑, 左􏸒, 左􏸓}
@defzis[􏸑/􏸒/􏸓]{@zi{同}.}
@defzis[􏸑/􏸒/􏸓]{@zi[同].}
@examples[#:eval (the-eval)
(左􏸑 '(a b x y z) '(a b c d e f g))
(左􏸒 '(a b x y z) '(a b c d e f g))
Expand All @@ -348,7 +347,7 @@ For example, @code{(阴+-- lst)} is short for @code{(阴 (阴 (阳 (阴 lst))))}
@section{𰂋,偏,􏾜,重、𠝤}
@defzi[间]{@means{insert between}.}
@defzi[扁]{@means{faltten}.}
@defzi[糸]{@simplified-from{紊}, @means{shuffle}.}
@defzi[糸]{@simplf-from{紊}, @means{shuffle}.}
@defzi[重]{@means{duplication}.}
@eleph-note{@racket[偅]}

Expand All @@ -364,7 +363,7 @@ For example, @code{(阴+-- lst)} is short for @code{(阴 (阴 (阳 (阴 lst))))}

@section{􏾛、𠆯}
@defzi[屰]{resembles @italic{the picture of person standing on his head}, @means{reverse} in ming-lang.}
@defzi[川]{@simplified-from{顺}, @means{in order}.}
@defzi[川]{@simplf-from{顺}, @means{in order}.}
@examples[#:eval (the-eval)
(􏾛 '(21 3 888 666 55 77 1000))
(𠆯 '(21 3 888 666 55 77 1000) <)
Expand All @@ -374,7 +373,7 @@ For example, @code{(阴+-- lst)} is short for @code{(阴 (阴 (阳 (阴 lst))))}
]

@section{􏹋、􏹉、􏹊~、􏹊^,􏹅,􏹄,􏹌、􏹈,􏹇~、􏹇}
@defzis[􏹅/􏹇/􏹄/􏹈/􏹌/􏹊]{@defzi/sub[彐]{@simplified-from{寻}, @means{find, search}.}}
@defzis[􏹅/􏹇/􏹄/􏹈/􏹌/􏹊]{@defzi/sub[彐]{@simplf-from{寻}, @means{find, search}.}}
@eleph-note{@racket[􏹊] @racket[􏾘] @racket[􏺈] @racket[􏺇]}
@examples[#:eval (the-eval)
(􏹋 'c '(a b c d e f))
Expand All @@ -400,9 +399,9 @@ For example, @code{(阴+-- lst)} is short for @code{(阴 (阴 (阳 (阴 lst))))}
]

@section{􏷒,􏷑, 􏷐,􏷏,􏷎,右􏷎} @;􏷮,􏷭
@defzi[􏷒]{@defzi/sub[夂]{@simplified-from{各}, @means{each}.}}
@defzi[􏷒]{@defzi/sub[夂]{@simplf-from{各}, @means{each}.}}
@defzi[􏷑]{@code{(􏷑 PROC (􏿴 a b c))} is simplified from: @code{(􏿴 (PROC a) (PROC b) (PROC c))}}
@defzi[􏷐]{@code{(􏷐 PROC (􏿴 a b c))} is simplified-from: @code{(并 (PROC a) (PROC b) (PROC c))}}
@defzi[􏷐]{@code{(􏷐 PROC (􏿴 a b c))} is simplf-from: @code{(并 (PROC a) (PROC b) (PROC c))}}
@defzi[􏷏]{@code{(􏷏 PROC (􏿴 a b c))} is simplified from: @code{(戈 (PROC a) (PROC b) (PROC c))}}
@defzi[􏷎]{@code{(􏷎 PROC z (􏿴 a b c))} is simplified from: @code{(PROC c (PROC b (PROC a z)))} @linebreak{} @code{(右􏷎 PROC z (􏿴 a b c))} is simplified from: @code{(PROC a (PROC b (PROC c z)))}}

Expand Down
2 changes: 1 addition & 1 deletion scribblings/racket-lib/procedures.scrbl
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@


@title[#:tag "procedures"]{禾}
Racket's @secref["procedures" #:doc '(lib "scribblings/reference/reference.scrbl")] is especially called @zi{禾} in ming-lang.
Racket's @secref["procedures" #:doc '(lib "scribblings/reference/reference.scrbl")] is especially called @zi[禾] in ming-lang.



Expand Down
Loading

0 comments on commit 1fc2c85

Please sign in to comment.