Fixed missing hashmark.
This commit is contained in:
parent
42d1e01f0f
commit
bd09c079c2
@ -85,7 +85,7 @@
|
||||
;; (function (degr) (list gnrt))
|
||||
|
||||
;; INTR-MRPH = INTeRnal-MoRPHism
|
||||
(DEFTYPE INTR-MRPH () '(or function morphism +ccl null))
|
||||
(DEFTYPE INTR-MRPH () '(or function morphism #+ccl null))
|
||||
;; (or (function (degr gnrt) cmbn) ;; if :gnrt strategy
|
||||
;; (function (cmbn) (cmbn)) ;; if :cmbn strategy
|
||||
|
||||
|
||||
Loading…
Reference in New Issue
Block a user