Open tasks
- .travis.yml 11 # TODO: don't overwrite artifacts.
- build-system/mek.md 101 # TODO: Maybe gcc (a variable pointing to a third-party tool) should be distinguished from toto.c (a local file)
- build-system/mek.md 117 ## TODO: other requirements
- doc-src/markdown2html.sh 9 # TODO: use an octal dump to escape characters, or use a real Scheme DSL instead of Markdown
- doc-src/style.css 79 /* TODO: use a technique like tinytypo's to change the quotes based on the language?
- fork.sh 11 echo 'TODO: escape problematic characters in the regexp and allow them'
- gui/README.md 403 * TODO: add reference to ergonomy survey
- gui/README.md 404 * TODO: capabilities based on the connection (e.g. remote users cannot
- micro-scheme/coq/ltac_quote.v 27 let ans := constr:(Constructor ks) in*) (* todo: use this for inspecting matches, can't look at their cases without get_all_ctors; the actual constructors are just functions without "unfold" *)
- micro-scheme/coq/ltac_quote.v.crashcoqide 27 let ans := constr:(Constructor ks) in*) (* todo: use this for inspecting matches, can't look at their cases without get_all_ctors; the actual constructors are just functions without "unfold" *)
- micro-scheme/nano-scheme.sh 148 explain TODO_E_S_EVAL_ATOM
- micro-scheme/nano-scheme.sh 250 # # TODO: free, GC roots, alloc, function pointers, …
- micro-scheme/nano-scheme.sh 368 # # TODO: push on a stack
- micro-scheme/nano-scheme.sh 386 # while test "$a" != N; do # TODO: put a marker instead of N?
- micro-scheme/nano-scheme.sh 399 # # TODO: this assumes that the callee is a symbol.
- micro-scheme/nano-scheme.sh 409 # *) echo TODO_OR_ERROR
- micro-scheme/nano-scheme.sh 413 # echo TODO_OR_ERROR
- micro-scheme/nano-scheme2.sh 3 # TODO: check compatibility of the ";" vs. newline syntaxes for if-then-else.
- micro-scheme/nano-scheme2.sh 80 # TODO: check that there is at least one statement
- micro-scheme/nano-scheme2.sh 108 # TODO: express that we are locking stdin that way.
- micro-scheme/nano-scheme2.sh 109 # TODO: express that $c is clobbered
- micro-scheme/nano-scheme2.sh 110 # TODO: check that the $1 is a function in the environment
- notes/notes 127 * TODO: me renseigner, parce qu'avant on a forcé les hébergeurs à conserver les logs pendant 1 an ( https://www.legifrance.gouv.fr/affichCodeArticle.do;jsessionid=E1BD6EF7F0D97A4B2709D39ACA8C8FF3.tplgfr31s_2?cidTexte=LEGITEXT000006070987&idArticle=LEGIARTI000006466369&dateTexte=20190429&categorieLien=id#LEGIARTI000006466369 ) et maintenant il faut les effacer à la demande… on est loin du "juste milieu"!
- programming-language/README.md 224 TODO.
- programming-language/README.md 228 TODO.
- programming-language/README.md 232 TODO.
- programming-language/README.md 236 TODO.
- references.md 101 * Optical switches: possibly more durable than rubber contact switches. TODO: check the names and other kinds of switches.
- references.md 126 * TODO: Capacitive vs. Resistive (one of the supports using a stylus on the same screen)
- tests/to-do/list-to-dos.sh 32 git grep -i -n \\\(todo\\\|fixme\\\|xxx\\\)
- tests/website/README.md 3 * Checks that the pages are valid Polyglot Markup (an HTML5 / XHTML chameleon, TODO link to references)
- travis/auto-push.sh 62 # TODO: all the config should be in a separate folder, instead of using ~/.ssh for the id_rsa.
- typesystem/README.md 25 * TODO: send the authors an e-mail asking if they see major
- typesystem/README.md 353 TODO: write about modules
- typesystem/README.md 373 * TODO: check that these definitions are accurate