Vikalpa is a proof assistant inspired by J-Bob http://git.tojo.tokyo/vikalpa.git/atom?h=v0.3.5 2021-09-16T15:10:57Z 2021-09-16T15:10:57Z Masaya Tojo masaya@tojo.tokyo 2021-09-16T15:10:57Z urn:sha1:8af34bc69a5ed56e68540048824e5ca86bc1cad8 * guix.scm: Update to 0.3.5. * configure.ac: Update to 0.3.5. 2021-09-16T15:10:10Z Masaya Tojo masaya@tojo.tokyo 2021-09-16T15:10:10Z urn:sha1:6b67bd98ccc75e1a32b99d6be1d793ca26f6c9ff * vikalpa/the-little-prover.scm: New file. * Makefile.am (SOURCES): Add vikalpa/the-little-prover.scm. 2021-09-16T07:37:59Z Masaya Tojo masaya@tojo.tokyo 2021-09-16T07:37:59Z urn:sha1:73b00d3ec489f720417c4eb342d32e87293165be * guix.scm: Update to 0.3.4. * configure.ac: Update to 0.3.4. 2021-09-16T07:34:51Z Masaya Tojo masaya@tojo.tokyo 2021-09-16T07:34:51Z urn:sha1:12551d4f59d7512395929472c0af1509c83069ae * vikalpa.scm (expand*): No expand quoted expressions. 2021-09-16T06:05:16Z Masaya Tojo masaya@tojo.tokyo 2021-09-16T06:05:16Z urn:sha1:8db40ba61c663b1c3702f3aacb26d17147feb32b * guix.scm: Update to 0.3.3. * configure.ac: Update to 0.3.3. 2021-09-16T06:03:28Z Masaya Tojo masaya@tojo.tokyo 2021-09-16T06:03:28Z urn:sha1:a09b56609dfd645bdaa97b6d6b9ffee06892e8e4 * vikalpa.scm (rewrite/eval): Fix `if` syntax. 2021-09-16T05:22:14Z Masaya Tojo masaya@tojo.tokyo 2021-09-16T05:22:14Z urn:sha1:fd0554fcd9cf83d126355464f4e9719ed7338a95 * guix.scm: Update to 0.3.2. * configure.ac: Update to 0.3.2. 2021-09-16T05:19:41Z Masaya Tojo masaya@tojo.tokyo 2021-09-16T05:19:41Z urn:sha1:db93c0ac62580d971b99c0b7f62f8c6fdc00a8c4 * vikalpa.scm (system-apropos): Display with pretty-print. 2021-09-16T04:12:44Z Masaya Tojo masaya@tojo.tokyo 2021-09-16T04:11:44Z urn:sha1:2c56c001ca259e6285124dc364ed2959b349c689 * guix.scm: Update to 0.3.1. * configure.ac: Update to 0.3.1. 2021-09-16T04:10:19Z Masaya Tojo masaya@tojo.tokyo 2021-09-16T04:10:19Z urn:sha1:5afce6c020637dcc82ee61d26457e3e6cf89210b * vikalpa.scm (system-check): Remove debug outputs.