|
|
|
|
|
|
by jsjolen
2411 days ago
|
|
|
An alternative company which actually seems to do good work w.r.t. safe languages is Alacris/LegiLogic. Though I haven't found the operational semantics of the language there is a public compiler that can be found here: https://alacrity-lang.org/codeeditor |
|
|