Skip to content

Releases: Olaf-Erkemeij/eflint-server

First version

07 Jun 13:22
@Olaf-Erkemeij Olaf-Erkemeij
v0.0.0
bb04e47
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
First version Pre-release
Pre-release

This version consists of a full implementation of the eFLINT language conform to the JSON specification. Typechecking and error handling have not been fully set up yet, so server crashes are to be expected.

Assets 2
Loading