Documentation Todo¶
Todo
(jashankj, 2020-02-13): add some references.
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/appendices/bibliography.rst, line 5.)
Todo
jashankj: transition to something like EBNF
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/gtm/grammar.rst, line 5.)
Todo
jashankj: use productionlist
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/gtm/grammar.rst, line 6.)
Todo
layout rules for value definitions
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/gtm/programs.rst, line 116.)
Todo
application of && and ||?
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/gtm/types.rst, line 83.)
Todo
(jashankj) mention Emmet’s work
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/gtm/types.rst, line 255.)
Todo
describe all operation semantics and inferred types
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/gtm/values.rst, line 629.)
Todo
Using layout to disambiguate nested ConditionalExpressions
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/gtm/values.rst, line 940.)
Todo
An example doing verification. Maybe focus on how to write the Makefile for verification and code generation, rather on the Isabelle proofs themselves.
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/introduction/building.rst, line 5.)
Todo
Part of the language reference will become a section in this doc later.
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/introduction/first-program.rst, line 340.)
Todo
Add pointers to other docs.
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/old/preamble.rst, line 38.)
Todo
Part of the language reference will become a section in this doc later.
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/old/quickstart.rst, line 90.)
Todo
An example doing verification. Maybe focus on how to write the Makefile for verification and code generation, rather on the Isabelle proofs themselves.
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/old/quickstart.rst, line 613.)
Todo
(jashankj, 2020-02-13): document the core syntax
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/reference/core-syntax.rst, line 5.)
Todo
jashankj: transition to something like EBNF
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/reference/grammar-ref.rst, line 5.)
Todo
jashankj: use productionlist
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/reference/grammar-ref.rst, line 6.)
Todo
layout rules for value definitions
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/reference/programs.rst, line 118.)
Todo
(jashankj, 2020-09-17): add pragma documentation somewhere
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/reference/surface-syntax.rst, line 75.)
Todo
(jashankj, 2020-09-17): where did end and repr go?
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/reference/surface-syntax.rst, line 123.)
Todo
(jashankj, 2020-02-14): what type have int literals?
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/reference/surface-syntax.rst, line 166.)
Todo
(jashankj, 2020-02-14): uh, that octal 300 is probably ok?
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/reference/surface-syntax.rst, line 190.)
Todo
(jashankj, 2020-02-14): sensible octal literal in a string?
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/reference/surface-syntax.rst, line 216.)
Todo
application of && and ||?
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/reference/types.rst, line 121.)
Todo
(jashankj) mention Emmet’s work
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/reference/types.rst, line 363.)
Todo
describe all operation semantics and inferred types
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/reference/values.rst, line 658.)
Todo
Using layout to disambiguate nested ConditionalExpressions
(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cogent/checkouts/334/docs/reference/values.rst, line 969.)