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

README: Update the roadmap.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-11-28 23:26:03 +01:00
parent 34fe8a8316
commit ae21ea6464
1 changed files with 0 additions and 15 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
README.org
View file

@ -34,21 +34,6 @@ interaction with Org-mode.
that I work on the subsequent items decreases with their position that I work on the subsequent items decreases with their position
in the list. in the list.
*** TODO Add variable domains to the network
I currently define a network as a mapping from variables to
functions, but in fact I very often need the /domains/ of the
variables for very many operations.
I started this transformation a couple of days ago, and decided
against it, because I thought that some networks may have
unbounded domains. That's right, but stays hypothetical, while
right now I need domains with my networks all the time.
*** TODO Review =build-interaction-graph=
Check that the definition of this function really follows the
definition of the interaction graph. Pay attention to the
existential vs. universal quantifiers.
*** TODO Start writing the docs properly with Scribble *** TODO Start writing the docs properly with Scribble
Convert some of the comments to Scribble, in particular Convert some of the comments to Scribble, in particular
module-level comments introducing the modules and each of module-level comments introducing the modules and each of