Branch | Commit message | Author | Age | |
---|---|---|---|---|
develop | wip | Masaya Tojo | 4 years | |
develop-202001 | wip81 | Masaya Tojo | 4 years | |
master | Update to 0.3.5. | Masaya Tojo | 4 years | |
Tag | Download | Author | Age | |
v0.3.5 | commit 8af34bc69a... | Masaya Tojo | 4 years | |
v0.3.4 | commit 73b00d3ec4... | Masaya Tojo | 4 years | |
v0.3.3 | commit 8db40ba61c... | Masaya Tojo | 4 years | |
v0.3.2 | commit fd0554fcd9... | Masaya Tojo | 4 years | |
v0.3.1 | commit 2c56c001ca... | Masaya Tojo | 4 years | |
v0.3.0 | commit 0988b88305... | Masaya Tojo | 4 years | |
v0.2.0 | commit 6abdf4e5fb... | Masaya Tojo | 4 years | |
v0.2.1 | commit f8923416fe... | Masaya Tojo | 4 years | |
v0.2.2 | commit b0987ec4e6... | Masaya Tojo | 4 years | |
v0.1.1 | commit f587949213... | Masaya Tojo | 4 years | |
[...] | ||||
Age | Commit message | Author | ||
2021-09-17 | Update to 0.3.5.•••* guix.scm: Update to 0.3.5. * configure.ac: Update to 0.3.5. HEADv0.3.5master | Masaya Tojo | ||
2021-09-17 | Add (vikalpa the-little-prover).•••* vikalpa/the-little-prover.scm: New file. * Makefile.am (SOURCES): Add vikalpa/the-little-prover.scm. | Masaya Tojo | ||
2021-09-16 | Update to 0.3.4.•••* guix.scm: Update to 0.3.4. * configure.ac: Update to 0.3.4. v0.3.4 | Masaya Tojo | ||
2021-09-16 | No expand quoted expressions.•••* vikalpa.scm (expand*): No expand quoted expressions. | Masaya Tojo | ||
2021-09-16 | Update to 0.3.3.•••* guix.scm: Update to 0.3.3. * configure.ac: Update to 0.3.3. v0.3.3 | Masaya Tojo | ||
2021-09-16 | Fix `if` syntax.•••* vikalpa.scm (rewrite/eval): Fix `if` syntax. | Masaya Tojo | ||
2021-09-16 | Update to 0.3.2.•••* guix.scm: Update to 0.3.2. * configure.ac: Update to 0.3.2. v0.3.2 | Masaya Tojo | ||
2021-09-16 | Display result with pretty-print in system-apropos.•••* vikalpa.scm (system-apropos): Display with pretty-print. | Masaya Tojo | ||
2021-09-16 | Update to 0.3.1.•••* guix.scm: Update to 0.3.1. * configure.ac: Update to 0.3.1. v0.3.1 | Masaya Tojo | ||
2021-09-16 | Remove debug outputs.•••* vikalpa.scm (system-check): Remove debug outputs. | Masaya Tojo | ||
[...] |