Sergiu Ivanov
|
2f1740a813
|
FIXME WIP: Continue converting to Typed Racket.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
a74b944e2c
|
utils.rkt: Add a label for the pretty printing section.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
6c764aff22
|
utils: Add pretty-print-set-sets.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
b337d17080
|
utils.scrbl: Typo in pretty-print-set.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
58327125eb
|
utils: Add pretty-print-set.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
6ca2330a1f
|
utils: Add list-sets->list-strings.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
b3408a7bfe
|
utils.scrbl: Require the entire typed/racket for the evaluator.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
de80275a47
|
utils: Add drop-first-last.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
2af5656e71
|
utils: Add read-symbol-list.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
fe989ef8a7
|
utils.scrbl: Add the documentation for dotit.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
50f5e6e3c1
|
utils-untyped: Don't export dotit any more.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
625ef055a6
|
graph-typed.rkt: Make the type of graphviz more complete.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
61f9522569
|
Add graph-typed.scrbl to documentation.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
0f971f5258
|
utils.scrbl: Remove Composing typed functions.
I exported everything to typed-compose now.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
e73cdc2366
|
utils.rkt: Add dotit.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
676e9226a3
|
graph-typed.rkt: Start.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
01e8b1535c
|
utils.rkt: Use multi-compose instead of compose-3.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
a83f1b9978
|
utils.rkt: Replace compose-related definitions with requiring typed-compose.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
a6a350ab1a
|
utils.scrbl: Simplify require for-label.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
c92db58962
|
utils.rkt: Replace multi-compose by the implementation by Sorawee.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
728926e891
|
utils: Add multi-compose.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
3bb695e2cf
|
utils: Move compose-related functions to their own section.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
b56b6a3f88
|
utils: Add read-org-variable-mapping and unorgv.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
a13b30d876
|
utils: Add compose-n, compose-3, and compose-4.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
f9de7b1027
|
utils.scrbl: Slightly streamline the imports.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
181cb8678a
|
utils.rkt: Add GeneralPair and copy unstringify-pairs.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
278ffa62db
|
utils-untyped.rkt: Don't provide the contracts.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
7dd9c4cc47
|
utils.rkt: Provide Variable, not Symbol.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
5943e2f6c7
|
utils.rkt: Copy read-org-sexp and unorg.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
f80dc7f28e
|
utils.rkt: Add map-sexp.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
e3efbb8f65
|
utils.rkt: Add handle-org-booleans.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
54905071d7
|
utils.rkt: Copy string->any.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
1273a9595f
|
utils.rkt: Copy stringify-variable-mapping.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
c9d36ea45e
|
utils.rkt: Copy any->string.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
9e65f07ce0
|
utils.rkt: Copy over extract-symbols.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
66c76a6173
|
utils.rkt: Copy auto-hash-ref/explicit and auto-hash-ref/:
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
f00fb6ead9
|
utils-untyped.rkt: Don't export eval-with.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
6cee8a49d9
|
utils.scrbl: Add the documentation for types, eval-with, and eval1-with.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
7f032c045a
|
dds.scrbl: Only include utils.scrbl.
I will progressively include the other sections as I go.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
ab6e49561b
|
utils: Add eval-with and eval1-with.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
18bc427454
|
utils: Start converting to Typed Racket.
|
2022-01-12 00:28:20 +01:00 |
|
Sergiu Ivanov
|
f6d554063e
|
Track dds.org.
|
2021-12-09 13:53:29 +01:00 |
|
Sergiu Ivanov
|
38660cc0a5
|
sbn-interaction-graph: Use zero-edges and declare it in the contract.
|
2021-08-04 17:33:17 +02:00 |
|
Sergiu Ivanov
|
ab2c37125c
|
Minor updates to some figures.
|
2021-08-04 17:31:16 +02: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
|
096f21a47f
|
Remove hash-intersect.
This function was merged into Racket.
|
2021-04-29 20:50:26 +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 |
|