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

Update the roadmap.

Browse source
This commit is contained in:
Sergiu Ivanov 2022-03-05 13:14:53 +01:00
parent b026f74f39
commit bd6c62e3eb
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
README.org
View file

@ -71,6 +71,14 @@ interaction with Org-mode.
section is empty, I will convert the language of the entire module
to Typed Racket and remove the submodule.
*** TODO Remove the artifacts of conversion to Typed Racket
Since I am converting =dds= to Typed Racket gradually, I need to
leave a couple artifacts to ensure that older code compiles with
newer code. These artifacts are marked with the keywords =TODO:=
in the source.
*** TODO Think about splitting the library into lib and doc
*** TODO Implement a shorter syntax for defining Boolean functions
Right now, this is how one defines the Boolean function: