Whoops! Can't get rid of INTR-MRPH quite yet...
This commit is contained in:
parent
8eb4dd94b9
commit
3c5c05989e
@ -83,7 +83,7 @@
|
||||
;; (function (degr) (list gnrt))
|
||||
|
||||
;; INTR-MRPH = INTeRnal-MoRPHism
|
||||
;; (DEFTYPE INTR-MRPH () 'function)
|
||||
(DEFTYPE INTR-MRPH () '(or function morphism))
|
||||
;; (or (function (degr gnrt) cmbn) ;; if :gnrt strategy
|
||||
;; (function (cmbn) (cmbn)) ;; if :cmbn strategy
|
||||
|
||||
|
||||
Loading…
Reference in New Issue
Block a user