diff --git a/networks.rkt b/networks.rkt index 5b7d473..6d1ac3f 100644 --- a/networks.rkt +++ b/networks.rkt @@ -95,9 +95,7 @@ ;; Contracts (contract-out [state/c contract?] [update-function/c contract?] - [domain-mapping/c contract?]) - ;; Syntax - unorg-syn unorg-asyn) + [domain-mapping/c contract?])) ;;; ================= @@ -384,16 +382,10 @@ ;;; builds the asyncronous dynamics out of it. (define read-org-network-make-asyn (compose make-asyn-dynamics network-form->network read-org-variable-mapping)) -;;; A shortcut for read-org-network-make-asyn. -(define-syntax-rule (unorg-asyn str) (read-org-network-make-asyn str)) - ;;; Reads an Org-mode-produced sexp, converts it into a network, and ;;; builds the synchronous dynamics out of it. (define read-org-network-make-syn (compose make-syn-dynamics network-form->network read-org-variable-mapping)) -;;; A shortcut for read-org-network-make-syn. -(define-syntax-rule (unorg-syn str) (read-org-network-make-syn str)) - ;;; Pretty-prints a state of the network. (define (pretty-print-state s) (string-join (hash-map s (λ (key val) (format "~a:~a" key val)) #t)))