index
:
vikalpa.git
develop
develop-202001
master
Vikalpa is a proof assistant inspired by J-Bob
Masaya Tojo
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2021-09-16
Update to 0.3.3.
...
v0.3.3
Masaya Tojo
2021-09-16
Fix `if` syntax.
...
Masaya Tojo
2021-09-16
Update to 0.3.2.
...
v0.3.2
Masaya Tojo
2021-09-16
Display result with pretty-print in system-apropos.
...
Masaya Tojo
2021-09-16
Update to 0.3.1.
...
v0.3.1
Masaya Tojo
2021-09-16
Remove debug outputs.
...
Masaya Tojo
2021-09-16
Generate `ChangeLog` when `make dist` is executed.
...
v0.3.0
Masaya Tojo
2021-09-16
Version up.
...
Masaya Tojo
2021-09-16
Add ChangeLog file.
...
Masaya Tojo
2021-09-16
Replace from core-system/equal to core-system/equal-t-nil.
Masaya Tojo
2021-09-16
Add `*~` to `.gitignore` file.
Masaya Tojo
2021-09-16
Remove sys variables.
Masaya Tojo
2021-09-16
Display (system-check system) with pretty-print.
v0.2.2
Masaya Tojo
2021-09-16
Return (system-check system) when evaluate define-system.
v0.2.1
Masaya Tojo
2021-09-16
Version up from 0.1.1 to 0.2.0.
v0.2.0
Masaya Tojo
2021-09-16
Add core-system/equal system.
Masaya Tojo
2021-09-16
Change `define-system` interface.
Masaya Tojo
2021-09-15
Rename syntax from `set` to `=`.
Masaya Tojo
2021-01-19
Upgrade version to 0.1.1.
v0.1.1
Masaya Tojo
2021-01-19
Update synopsis and description.
Masaya Tojo
2021-01-19
Add tests.
v0.1.0
Masaya Tojo
2021-01-19
Add `vikalpa.scm`.
Masaya Tojo
2021-01-19
Initial commit.
...
Masaya Tojo