038e543eff
networks: Add build-interaction-graph.
2020-02-20 15:56:48 +01:00
cd714773be
lambda -> λ
2020-02-20 15:36:29 +01:00
75bf044fd8
networks: Add list-interactions.
2020-02-20 15:17:32 +01:00
71f979808c
hash-pred: Generalise and simplify.
2020-02-20 14:47:06 +01:00
6001762cb8
utils: Restructure the exports.
2020-02-20 14:19:30 +01:00
768fa7aabc
networks: Restructure the exports slightly.
2020-02-20 14:13:48 +01:00
cf19859be8
Rewrite bn without types, rename it to networks.
...
I tried generalising my code from Boolean networks to any kinds of
networks, but got tired of having to fight the type system (for now at
least). The last drop was the fact that the graph library does not
seem to have a typed version. So I decided to go with contracts
instead.
2020-02-20 00:56:30 +01:00
009c6109a9
utils: Add hash-pred and use it in variable-mapping?
2020-02-20 00:22:38 +01:00
d94f72b1a5
utils: Export variable-mapping?
2020-02-19 23:37:32 +01:00
07a9ad2ac5
utils: Restructure the provides.
2020-02-19 23:37:06 +01:00
5dbdde1610
utils: Add a comment to variable-mapping?
2020-02-19 23:28:27 +01:00
808516081d
utils: Add variable-mapping?.
2020-02-19 23:25:00 +01:00
ae7b9553de
utils: Don't export eval-with1 any more.
...
It was useful with types, but it isn't any more.
2020-02-19 23:12:58 +01:00
a4deb44d10
utils: Add contracts to the functions.
2020-02-19 23:12:18 +01:00
bdff8e31c9
eval-with: Explicitly say that the evaluation happens in a fresh namespace.
2020-02-19 22:51:49 +01:00
404362a91c
utils: Remove type annotations.
...
I am very early in my project, and I have already spent literal days
trying to make the types fit together.
I'm trying contracts next.
2020-02-19 22:49:50 +01:00
9cbfcfca4b
utils: Add extract-symbols.
2020-02-19 22:11:44 +01:00
1a174ad8e0
utils-tests: Add section titles.
2020-02-19 22:09:09 +01:00
0ae8537bdf
bn: Introduce the section on interaction graphs.
2020-02-18 12:52:20 +01:00
cf2cc484bf
bn: Add st.
2020-02-18 12:39:11 +01:00
f4d7197f47
bn: Better structure provide.
2020-02-18 12:36:44 +01:00
74b57c81d7
bn: Add syntax bn.
2020-02-18 12:36:26 +01:00
6ef7483bd2
bn: Remove some extra module code at the bottom.
2020-02-18 12:21:12 +01:00
58e40e44ad
bn-tests: Restructure.
...
Also make the names of test cases correspond to the names of the
sections in bn.
2020-02-18 12:20:32 +01:00
f0a7c270e9
bn: Add make-bn-forms.
2020-02-18 12:16:03 +01:00
608b606717
bn: make-bn -> make-bn-funcs.
2020-02-18 12:09:07 +01:00
35abded486
bn: Add bn-form->bn.
2020-02-18 12:07:38 +01:00
7a4dd09f40
bn: Add update-func-form->update-func.
2020-02-18 11:41:16 +01:00
a061e2d7bc
bn: Add some types for syntactic description of Boolean networks.
2020-02-18 11:40:41 +01:00
912fe95891
utils: Better highlight section titles.
2020-02-18 00:00:18 +01:00
f18d47952f
utils: Remove some extra code at the end of the module.
2020-02-17 23:53:38 +01:00
9908df4a7b
utils: Add eval-with, eval-with1, and tests.
2020-02-17 23:52:36 +01:00
d73644c1d7
bn: Add explicit type annotations to functions.
2020-02-17 23:38:10 +01:00
a385f2e464
utils: Mention that auto-hash-ref/explicit and auto-hash-ref/: take 1 body.
2020-02-17 00:27:04 +01:00
cb45bea4c9
auto-hash-ref/: : Add.
2020-02-17 00:16:44 +01:00
51e7ba3072
auto-hash-ref/explicit: Add an example to the comment.
2020-02-17 00:16:01 +01:00
c33641fd66
utils: Start and auto-hash-ref/explicit.
...
Also add the tests for utils.
2020-02-16 21:39:42 +01:00
a967dc4b74
bn: new-state -> make-state
2020-02-15 21:01:28 +01:00
5408f6682b
bn: Add and use make-bn.
2020-02-15 21:00:20 +01:00
1e931102d6
bn: Add and use new-state.
2020-02-15 20:51:52 +01:00
faf8f70b2e
bn: update: Add and test.
2020-02-15 20:30:46 +01:00
51a7dc8498
bn: Variable: Add the type synomym and use it.
2020-02-15 15:19:53 +01:00
33fd5f7721
bn: Export the definitions.
2020-02-15 15:17:03 +01:00
6d02006691
Write top-level comments with ;;;
2020-02-15 15:16:20 +01:00
e53496f617
bn-tests.rkt: Add, with a dummy test.
2020-02-15 13:57:49 +01:00
ab9f808c96
dds/bn: Start.
2020-02-15 13:32:54 +01:00
Sergiu Ivanov