Sergiu Ivanov
|
cf2cc484bf
|
bn: Add st.
|
2020-02-18 12:39:11 +01:00 |
|
Sergiu Ivanov
|
74b57c81d7
|
bn: Add syntax bn.
|
2020-02-18 12:36:26 +01:00 |
|
Sergiu Ivanov
|
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 |
|
Sergiu Ivanov
|
f0a7c270e9
|
bn: Add make-bn-forms.
|
2020-02-18 12:16:03 +01:00 |
|
Sergiu Ivanov
|
608b606717
|
bn: make-bn -> make-bn-funcs.
|
2020-02-18 12:09:07 +01:00 |
|
Sergiu Ivanov
|
35abded486
|
bn: Add bn-form->bn.
|
2020-02-18 12:07:38 +01:00 |
|
Sergiu Ivanov
|
7a4dd09f40
|
bn: Add update-func-form->update-func.
|
2020-02-18 11:41:16 +01:00 |
|
Sergiu Ivanov
|
a967dc4b74
|
bn: new-state -> make-state
|
2020-02-15 21:01:28 +01:00 |
|
Sergiu Ivanov
|
5408f6682b
|
bn: Add and use make-bn.
|
2020-02-15 21:00:20 +01:00 |
|
Sergiu Ivanov
|
1e931102d6
|
bn: Add and use new-state.
|
2020-02-15 20:51:52 +01:00 |
|
Sergiu Ivanov
|
faf8f70b2e
|
bn: update: Add and test.
|
2020-02-15 20:30:46 +01:00 |
|
Sergiu Ivanov
|
e53496f617
|
bn-tests.rkt: Add, with a dummy test.
|
2020-02-15 13:57:49 +01:00 |
|