From 7de4c5ef719165d6329371e7575d059e07f3cb13 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Thu, 12 Nov 2020 16:40:24 +0100 Subject: [PATCH] README: Add the Roadmap. --- README.org | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/README.org b/README.org index 242236b..b0546c6 100644 --- a/README.org +++ b/README.org @@ -27,3 +27,27 @@ Currently, the toolkit includes the following files: The toolkit is designed with Emacs [[https://orgmode.org/][Org-mode]] interoperability in mind. The file [[file:example/example.org][example/example.org]] explains the features available for interaction with Org-mode. + +** Roadmap + Here is my current roadmap for this toolkit, in order. The first + element is what I am currently working on. The degree of certainty + that I work on the subsequent items decreases with their position + in the list. + +*** 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 Write the docs properly with Scribble + https://docs.racket-lang.org/scribble/srcdoc.html +*** TODO Submit =update-graph= to =stchang= +*** TODO Implement the BN \to RS conversion +*** TODO Implement the minimisation of TBF/SBF +*** TODO Contribute to Racket + - Make sequence-filter allow multivalued sequences, provided the + arity of the predicate is consistent with the arity of + the sequence. + - Add a sequence->hash function that accepts a multivalued + sequence of keys and values (exactly like what in-hash produces) + and copies them into a hash table. +*** TODO Test network inference with [[https://docs.racket-lang.org/racklog/index.html][Racklog]]