blob: b8e5ad7a4db05250d81f5bc819bdfba29a5b9aaa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
2021-09-16 Masaya Tojo <masaya@tojo.tokyo>
Replace from core-system/equal to core-system/equal-t-nil.
fixup!
Add `*~` to `.gitignore` file.
Remove sys variables.
2021-09-15 Masaya Tojo <masaya@tojo.tokyo>
Display (system-check system) with pretty-print.
Return (system-check system) when evaluate define-system.
Version up from 0.1.1 to 0.2.0.
Add core-system/equal system.
fixup!
Change `define-system` interface.
Rename syntax from `set` to `=`.
2021-01-19 Masaya Tojo <masaya@tojo.tokyo>
Upgrade version to 0.1.1.
Update synopsis and description.
Add tests.
Add `vikalpa.scm`.
Initial commit.
* COPYING: New file.
* Makefile.am: New file.
* README.org: New file.
* README.md: Delete file.
* bootstrap: New file.
* build-aux/test-driver.scm: New file.
* configure.ac: New file.
* guix.scm: New file.
* pre-inst-env.in: New file.
* rabbit-prover.scm: New file.
* toot.scm: New file.
|
