Closed ArquintL closed 4 years ago
@ArquintL @Felalolf Is it okay to close this PR? The relevant bits of code has been merged into the master branch by Valentin. Gobra does not depend on this anymore, right?
Nope, Gobra uses ViperServer's master branch
Current progress of Silas (Gobra IDE Student)