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
|
51a7dc8498
|
bn: Variable: Add the type synomym and use it.
|
2020-02-15 15:19:53 +01:00 |
|
Sergiu Ivanov
|
33fd5f7721
|
bn: Export the definitions.
|
2020-02-15 15:17:03 +01:00 |
|
Sergiu Ivanov
|
6d02006691
|
Write top-level comments with ;;;
|
2020-02-15 15:16:20 +01:00 |
|
Sergiu Ivanov
|
e53496f617
|
bn-tests.rkt: Add, with a dummy test.
|
2020-02-15 13:57:49 +01:00 |
|
Sergiu Ivanov
|
ab9f808c96
|
dds/bn: Start.
|
2020-02-15 13:32:54 +01:00 |
|