Skip to content

v0.1.0
Compare
Choose a tag to compare
@fizruk fizruk released this 25 Mar 22:56
· 629 commits to main since this release
v0.1.0
bc6cd51
This commit was signed with the committer’s verified signature.
fizruk Nikolai Kudasov
GPG key ID: A4CB545029471D8A
Learn about vigilant mode.

This is a first release of the prototype, which is usable to some extent.

This version contains a lot of auxiliary and experimental stuff, which will be removed from future versions (in particular, support for STLC, PCF, MLTT languages).

You can access online interpreter and documentation for this version online at http://fizruk.github.io/rzk/v0.1.0/split.html

Assets 2
Loading