scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Remove extra comments at the end of networks.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-02-23 09:26:07 +01:00
parent 04bc619b7d
commit b04d897c67
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
networks.rkt
View file

@ -227,7 +227,3 @@
(list (match (get-interaction-sign network-form doms x y) (list (match (get-interaction-sign network-form doms x y)
['+ 1] ['- -1] ['0 0]) ['+ 1] ['- -1] ['0 0])
x y)))))) x y))))))
;1. Define the contract/predicate for domain mapping
;1. Remove build-all-states-same-domain.
;2. Add a short test to example.org