summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
developwipMasaya Tojo4 years
develop-202001wip81Masaya Tojo4 years
masterUpdate to 0.3.5.Masaya Tojo4 years
 
TagDownloadAuthorAge
v0.3.5commit 8af34bc69a...Masaya Tojo4 years
v0.3.4commit 73b00d3ec4...Masaya Tojo4 years
v0.3.3commit 8db40ba61c...Masaya Tojo4 years
v0.3.2commit fd0554fcd9...Masaya Tojo4 years
v0.3.1commit 2c56c001ca...Masaya Tojo4 years
v0.3.0commit 0988b88305...Masaya Tojo4 years
v0.2.0commit 6abdf4e5fb...Masaya Tojo4 years
v0.2.1commit f8923416fe...Masaya Tojo4 years
v0.2.2commit b0987ec4e6...Masaya Tojo4 years
v0.1.1commit f587949213...Masaya Tojo4 years
[...]
 
AgeCommit messageAuthor
2021-09-17Update to 0.3.5.•••* guix.scm: Update to 0.3.5. * configure.ac: Update to 0.3.5. HEADv0.3.5masterMasaya Tojo
2021-09-17Add (vikalpa the-little-prover).•••* vikalpa/the-little-prover.scm: New file. * Makefile.am (SOURCES): Add vikalpa/the-little-prover.scm. Masaya Tojo
2021-09-16Update to 0.3.4.•••* guix.scm: Update to 0.3.4. * configure.ac: Update to 0.3.4. v0.3.4Masaya Tojo
2021-09-16No expand quoted expressions.•••* vikalpa.scm (expand*): No expand quoted expressions. Masaya Tojo
2021-09-16Update to 0.3.3.•••* guix.scm: Update to 0.3.3. * configure.ac: Update to 0.3.3. v0.3.3Masaya Tojo
2021-09-16Fix `if` syntax.•••* vikalpa.scm (rewrite/eval): Fix `if` syntax. Masaya Tojo
2021-09-16Update to 0.3.2.•••* guix.scm: Update to 0.3.2. * configure.ac: Update to 0.3.2. v0.3.2Masaya Tojo
2021-09-16Display result with pretty-print in system-apropos.•••* vikalpa.scm (system-apropos): Display with pretty-print. Masaya Tojo
2021-09-16Update to 0.3.1.•••* guix.scm: Update to 0.3.1. * configure.ac: Update to 0.3.1. v0.3.1Masaya Tojo
2021-09-16Remove debug outputs.•••* vikalpa.scm (system-check): Remove debug outputs. Masaya Tojo
[...]