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

Commit Graph

  • d958c5822d define-syntax-parse-rule: Give the syntax class for row-op. Sergiu Ivanov 2022-04-22 14:35:38 +0200
  • 79a688a3e5 Type read-org-tbfs. Sergiu Ivanov 2022-04-21 16:56:58 +0200
  • 1f01917f8a Type lists->tbfs. Sergiu Ivanov 2022-04-21 15:37:55 +0200
  • d9734a5a35 Type list->tbf. Sergiu Ivanov 2022-04-21 15:00:50 +0200
  • cbede999df Type apply-tbf/boolean. Sergiu Ivanov 2022-04-21 15:00:24 +0200
  • 1863b0829c Type apply-tbf. Sergiu Ivanov 2022-04-21 14:20:22 +0200
  • 027022524b vector-boolean->01 → boolean->01/vector Sergiu Ivanov 2022-04-21 14:06:23 +0200
  • dc8a098234 Correctly export tbf-w and tbf-θ. Sergiu Ivanov 2022-04-21 14:02:35 +0200
  • f3a8c65e9d Type vector-boolean->01. Sergiu Ivanov 2022-04-21 13:49:15 +0200
  • e44d9c7748 Type tbf-w and tbf-θ. Sergiu Ivanov 2022-04-21 11:50:56 +0200
  • cc137a5459 Type tbf. Sergiu Ivanov 2022-04-21 11:42:50 +0200
  • 212440add1 Typed random-boolean-function/list. Sergiu Ivanov 2022-04-21 11:23:36 +0200
  • ee487af157 Fix parens typesetting. Sergiu Ivanov 2022-04-21 11:13:43 +0200
  • 9ad3a69c27 functions: Integer → Positive-Integer for arities. Sergiu Ivanov 2022-04-21 11:09:52 +0200
  • 242ea9d31d Type random-boolean-function. Sergiu Ivanov 2022-04-21 11:03:57 +0200
  • a7a25f92fe Type random-boolean-table. Sergiu Ivanov 2022-04-21 10:46:21 +0200
  • 52bf1b2f58 Type enumerate-boolean-functions/list. Sergiu Ivanov 2022-04-19 23:31:28 +0200
  • a201e537e1 Add enumerate-boolean-functions/pv. Sergiu Ivanov 2022-04-19 23:14:40 +0200
  • a4a6604ecd Type enumerate-boolean-functions. Sergiu Ivanov 2022-04-18 23:26:52 +0200
  • fa63875022 Type enumerate-boolean-tables. Sergiu Ivanov 2022-04-18 01:00:34 +0200
  • 4272cd87a8 Add table->function/pv. Sergiu Ivanov 2022-04-16 00:17:44 +0200
  • 1324be292e Add table->function. Sergiu Ivanov 2022-04-14 20:46:40 +0200
  • 3b51a4ba51 Add table->function/list. Sergiu Ivanov 2022-04-13 00:50:53 +0200
  • 1503434306 Add tabulate*/pv/01 and tabulate/pv/01. Sergiu Ivanov 2022-04-10 22:37:50 +0200
  • 6102a2b8f3 Fix the labels and add explicit "(untyped)" to conflicts. Sergiu Ivanov 2022-04-10 19:55:28 +0200
  • 81496a2ee7 Move tabulate/01 and tabulate*/01 to the untyped submodule. Sergiu Ivanov 2022-04-10 19:36:00 +0200
  • 1b22ba4a7e Add tabulate/pv/boolean and tabulate*/pv/boolean. Sergiu Ivanov 2022-04-09 02:03:51 +0200
  • c19d18122c Move tabulate/boolean and tabulate*/boolean to typed/untyped. Sergiu Ivanov 2022-04-09 01:32:54 +0200
  • 096d536908 Start functions/untyped. Sergiu Ivanov 2022-04-09 01:12:17 +0200
  • f2a9336d71 Untyped code → Untyped definitions Sergiu Ivanov 2022-04-07 00:41:35 +0200
  • f29bb3956d untyped → utils/untyped Sergiu Ivanov 2022-04-07 00:40:46 +0200
  • b1613ac1f7 utils: Explicitly document the untyped submodule. Sergiu Ivanov 2022-04-07 00:21:48 +0200
  • 650801a6d2 Add the untyped submodule to utils. Sergiu Ivanov 2022-04-01 00:09:42 +0200
  • 1e4f6d3fbc Use define-syntax-parse-rule in make-tabulate*. Sergiu Ivanov 2022-03-31 23:45:38 +0200
  • 5aa816507d Use define-syntax-parser in auto-hash-ref/explicit. Sergiu Ivanov 2022-03-31 23:40:12 +0200
  • b07cda477f Add tabulate*/pv and tabulate/pv. Sergiu Ivanov 2022-03-21 00:04:21 +0100
  • 8fb5bab803 Add syntax for defining pseudovariadic functions. Sergiu Ivanov 2022-03-20 20:42:29 +0100
  • 8b838c0b22 Introduce pseudovariadic functions. Sergiu Ivanov 2022-03-20 19:34:48 +0100
  • 1f281d3851 Rename the module in the example for tabulate*/untyped. Sergiu Ivanov 2022-03-06 23:41:24 +0100
  • e7616684f5 Add tabulate, tabulate/strict, and tabulate/untyped. Sergiu Ivanov 2022-03-06 23:39:51 +0100
  • fcf21c51aa Remove tabulate* from functions.rkt. Sergiu Ivanov 2022-03-06 22:58:16 +0100
  • 31d6275229 Add an explain tabulate*/untyped. Sergiu Ivanov 2022-03-06 22:53:33 +0100
  • 37dddb190f Add make-tabulate* to factor out the common parts. Sergiu Ivanov 2022-03-06 21:45:21 +0100
  • 929bf09299 Add append-lists. Sergiu Ivanov 2022-03-06 20:52:33 +0100
  • 66f1157200 Add typed versions of tabulate* and tabulate*/strict. Sergiu Ivanov 2022-03-06 19:54:05 +0100
  • ccb70a5921 Prepare the Scribble infrastructure. Sergiu Ivanov 2022-03-05 21:37:24 +0100
  • cd94326ea3 Start typing functions. Sergiu Ivanov 2022-03-05 21:37:17 +0100
  • 3e16dbe3c8 Only require rackunit in the test submodule. Sergiu Ivanov 2022-03-05 21:33:04 +0100
  • fa940eb0d3 Improve the explanation of hash->list/ordered. Sergiu Ivanov 2022-03-05 13:44:48 +0100
  • 97d4c18305 Switch utils to Typed Racket. Sergiu Ivanov 2022-03-05 13:41:40 +0100
  • f62d53ed8f Add an easy type to variable-mapping? and remove the untyped section. Sergiu Ivanov 2022-03-05 13:29:37 +0100
  • bd6c62e3eb Update the roadmap. Sergiu Ivanov 2022-03-05 13:14:53 +0100
  • b026f74f39 Type 01->boolean. Sergiu Ivanov 2022-03-05 13:07:44 +0100
  • 687aea5337 Type any->01. Sergiu Ivanov 2022-03-05 12:55:23 +0100
  • 357fcad89f Mention functions. Sergiu Ivanov 2022-03-05 12:34:15 +0100
  • 77cc8e295a Import stream->list and stream-take for-label. Sergiu Ivanov 2022-03-05 00:24:02 +0100
  • 83b293e3e4 Type boolean-power/stream. Sergiu Ivanov 2022-03-05 00:20:51 +0100
  • 347e17158d Type boolean-power. Sergiu Ivanov 2022-03-05 00:14:38 +0100
  • f5c762b6d8 Fix the sectioning. Sergiu Ivanov 2022-03-04 18:12:19 +0100
  • 10f0e0ab0c Type cartesian-product/stream. Sergiu Ivanov 2022-03-04 18:08:00 +0100
  • 8cd75b0fa3 utils: Add cartesian-product-2/stream. Sergiu Ivanov 2022-03-04 17:24:18 +0100
  • 3918730e1a Streamline and simplify auto-hash-ref/:. Sergiu Ivanov 2022-02-20 18:27:36 +0100
  • fa015870d0 Simplify quoting and unquoting in auto-hash-ref/explicit. Sergiu Ivanov 2022-02-20 17:30:33 +0100
  • f6946d94ad Indentation. Sergiu Ivanov 2022-02-18 16:04:39 +0100
  • 6679db9aa4 utils.rkt: Add a comment about an alternative implementation of lists-transpose. Sergiu Ivanov 2022-02-18 16:04:04 +0100
  • 87c80bb6ef utils: Reimplement and type in-random. Sergiu Ivanov 2022-02-15 00:14:52 +0100
  • b36d8adaa4 Remove procedure-fixed-arity?. Sergiu Ivanov 2022-02-13 20:09:50 +0100
  • ec50395cb0 networks: Add a copy of lists-transpose. Sergiu Ivanov 2022-02-13 19:48:21 +0100
  • 2af8d9276b utils: Typed lists-transpose. Sergiu Ivanov 2022-02-13 19:33:04 +0100
  • 20cc0a27d0 utils: Type multi-split-at. Sergiu Ivanov 2022-02-11 00:01:07 +0100
  • 912da811f2 utils: Type hash->list/ordered. Sergiu Ivanov 2022-02-10 23:37:40 +0100
  • 9defe51ee6 utils: Make collect-by-keys and collect-by-keys/sets polymorphic. Sergiu Ivanov 2022-02-10 00:12:50 +0100
  • e01ba07724 utils: Type ht-values/list->set. Sergiu Ivanov 2022-02-10 00:08:49 +0100
  • 50fb3dab59 utils: Type collect-by-key/sets. Sergiu Ivanov 2022-02-09 23:55:20 +0100
  • cf3f20097b utils: Type collect-by-key. Sergiu Ivanov 2022-02-09 01:07:37 +0100
  • 002b1a8006 utils: Remove the old definition of pretty-print-set. Sergiu Ivanov 2022-02-08 00:11:58 +0100
  • 67ae415064 utils.scrbl: Require typed/graph in a separate place. Sergiu Ivanov 2022-02-08 00:10:49 +0100
  • 0179423be9 Utils: Type update-graph. Sergiu Ivanov 2022-02-08 00:08:42 +0100
  • 45a60cd122 utils.scrbl: Improve the doc for dotit. Sergiu Ivanov 2022-02-06 23:50:40 +0100
  • e1cf64a822 utils: Typed update-vertices/unweighted. Sergiu Ivanov 2022-02-06 23:44:03 +0100
  • 25b4216faf utils.scrbl: Move Pretty printing before Additional graph utilities. Sergiu Ivanov 2022-02-04 00:09:39 +0100
  • 8d5d41233e utils.scrbl: Move the pretty printing functions to their section. Sergiu Ivanov 2022-02-04 00:08:22 +0100
  • e4f7c956d4 utils: Type pretty-print-set-sets. Sergiu Ivanov 2022-02-04 00:06:19 +0100
  • 2997319f1f utils: Type pretty-print-set. Sergiu Ivanov 2022-02-03 23:56:28 +0100
  • 211f39e91f utils: Type list-sets->list-strings. Sergiu Ivanov 2022-02-03 16:40:02 +0100
  • 4703bfcce8 utils.scrbl: Include the whole Typed Racket for the examples. Sergiu Ivanov 2022-02-03 16:00:20 +0100
  • 403401f085 utils: Type drop-first-last. Sergiu Ivanov 2022-02-03 10:55:34 +0100
  • ec28541c46 utils: Type read-symbol-list. Sergiu Ivanov 2022-02-03 10:48:51 +0100
  • caf9114ec5 Update package dependencies. Sergiu Ivanov 2022-02-03 00:13:46 +0100
  • b2f3306731 utils: Add dotit. Sergiu Ivanov 2022-02-03 00:09:11 +0100
  • ebd960de53 utils.scrbl: Import the whole of typed/racket/base for-label. Sergiu Ivanov 2022-01-27 21:10:59 +0100
  • 746c586973 utils.rkt: Remove the left-over definitions of read-org-sexp and unorg. Sergiu Ivanov 2022-01-27 21:10:37 +0100
  • 8b2bab4d9e utils: Type read-org-variable-mapping and unorgv. Sergiu Ivanov 2022-01-27 21:10:13 +0100
  • 73afefdeb2 utils.scrbl: Import -> from typed/racket/base. Sergiu Ivanov 2022-01-26 16:35:03 +0100
  • 44de84de10 utils: Type unstringify-pairs. Sergiu Ivanov 2022-01-25 00:46:12 +0100
  • c1967816b4 utils/typed: Explicitly provide Variable and VariableMapping. Sergiu Ivanov 2022-01-23 16:01:09 +0100
  • 69a7234665 utils: Type read-org-sexp and unorg. Sergiu Ivanov 2022-01-23 15:57:50 +0100
  • ec84924608 utils: Type map-sexp. Sergiu Ivanov 2022-01-23 15:50:06 +0100
  • b6417d2d07 utils: Type handle-org-booleans. Sergiu Ivanov 2022-01-23 15:10:58 +0100
  • 9d569bd3ba utils: Type string->any. Sergiu Ivanov 2022-01-23 13:53:41 +0100