Sergiu Ivanov
|
cdcee66b7c
|
Explain the new strategy for converting generics to Typed Racket.
|
2022-04-26 23:56:22 +02:00 |
|
Sergiu Ivanov
|
ba8b9b4d98
|
Punctuation.
|
2022-04-26 23:56:17 +02:00 |
|
Sergiu Ivanov
|
bd6c62e3eb
|
Update the roadmap.
|
2022-03-05 13:22:38 +01:00 |
|
Sergiu Ivanov
|
357fcad89f
|
Mention functions.
|
2022-03-05 12:34:15 +01:00 |
|
Sergiu Ivanov
|
906d339508
|
README: Update the strategy for conversion to Typed Racket.
|
2022-01-16 21:33:15 +01:00 |
|
Sergiu Ivanov
|
1f3ab98faa
|
Move submitting =update-graph= higher on the list of priorities.
|
2021-05-31 08:46:57 +02:00 |
|
Sergiu Ivanov
|
40909995ba
|
Add the TODO item about implementing monotone?.
|
2021-05-31 08:46:36 +02:00 |
|
Sergiu Ivanov
|
ac0e5310d5
|
README: Add the TODO about define-pbf.
|
2021-05-20 10:45:59 +02:00 |
|
Sergiu Ivanov
|
c7912705ca
|
README.org: Update the roadmap.
|
2020-11-29 23:29:39 +01:00 |
|
Sergiu Ivanov
|
485aa4ca95
|
README.org: Update the roadmap.
|
2020-11-29 23:11:18 +01:00 |
|
Sergiu Ivanov
|
ae21ea6464
|
README: Update the roadmap.
|
2020-11-28 23:26:03 +01:00 |
|
Sergiu Ivanov
|
004e24d83c
|
README: Remove the TODO item about the interaction graphs.
|
2020-11-21 23:04:14 +01:00 |
|
Sergiu Ivanov
|
a8adc9fb57
|
README: Add a new TODO item for splitting network into two models.
|
2020-11-18 00:19:53 +01:00 |
|
Sergiu Ivanov
|
70de0ec718
|
README: Add the milestone about the domains.
|
2020-11-12 17:22:43 +01:00 |
|
Sergiu Ivanov
|
a8f4850139
|
README: Expand the milestone about interaction graphs.
|
2020-11-12 17:22:17 +01:00 |
|
Sergiu Ivanov
|
99c74ba659
|
README: Expand the Scribble milestone to types and include more details.
|
2020-11-12 17:08:00 +01:00 |
|
Sergiu Ivanov
|
7de4c5ef71
|
README: Add the Roadmap.
|
2020-11-12 16:40:24 +01:00 |
|
Sergiu Ivanov
|
0cf05acb21
|
Use a headline instead of #+TITLE:
Gitea seems to not handle Org-mode options either.
|
2020-03-03 17:50:26 +01:00 |
|
Sergiu Ivanov
|
20b629443a
|
Remove Emacs Local Variables from README.org.
Gitea doesn't know not to render :noexport: tags (which is fine).
|
2020-03-03 17:48:21 +01:00 |
|
Sergiu Ivanov
|
19e831b1a9
|
REAMDE.org: Add.
|
2020-03-03 14:44:55 +01:00 |
|