vikalpa.git, branch v0.2.2 Vikalpa is a proof assistant inspired by J-Bob http://git.tojo.tokyo/vikalpa.git/atom?h=v0.2.2 2021-09-16T03:36:17Z Display (system-check system) with pretty-print. 2021-09-16T03:36:17Z Masaya Tojo masaya@tojo.tokyo 2021-09-15T11:25:04Z urn:sha1:b0987ec4e64855f0267132c787c9a051d5f89202 Return (system-check system) when evaluate define-system. 2021-09-16T03:36:17Z Masaya Tojo masaya@tojo.tokyo 2021-09-15T09:00:25Z urn:sha1:f8923416fee10225a2475897508744013c0b4497 Version up from 0.1.1 to 0.2.0. 2021-09-16T03:36:17Z Masaya Tojo masaya@tojo.tokyo 2021-09-15T08:24:40Z urn:sha1:6abdf4e5fb3c9b3e39d8b41f9dc7335c07d4557c Add core-system/equal system. 2021-09-16T03:36:17Z Masaya Tojo masaya@tojo.tokyo 2021-09-15T08:22:58Z urn:sha1:0f6bede2a2d24df2931e5c9ffc66c833c1a21cb7 Change `define-system` interface. 2021-09-16T03:36:17Z Masaya Tojo masaya@tojo.tokyo 2021-09-15T08:21:52Z urn:sha1:b6d8f4fe04afb19976d9ded559baeb3f7e72fe2c Rename syntax from `set` to `=`. 2021-09-15T06:15:25Z Masaya Tojo masaya@tojo.tokyo 2021-09-15T06:15:25Z urn:sha1:4f950720df980352964c87abf8333a5b562ee231 Upgrade version to 0.1.1. 2021-01-19T00:56:07Z Masaya Tojo masaya@tojo.tokyo 2021-01-19T00:53:55Z urn:sha1:f5879492135a41edd1f227607dcbc8d0c25c5c3c Update synopsis and description. 2021-01-19T00:51:33Z Masaya Tojo masaya@tojo.tokyo 2021-01-19T00:51:33Z urn:sha1:e628cb920e05ee9cde72cac45727b4bdafda4c80 Add tests. 2021-01-19T00:32:49Z Masaya Tojo masaya@tojo.tokyo 2021-01-19T00:31:59Z urn:sha1:88c6250ba7cf3f9d99e2eb54e89dafc7a4c14622 Add `vikalpa.scm`. 2021-01-19T00:32:49Z Masaya Tojo masaya@tojo.tokyo 2021-01-19T00:31:41Z urn:sha1:30c79dec9f93efb0a7700e9ceb60b57ee13743bf