Front integration (!53) · Merge requests · LARA / lisa · GitLab

Snippets Groups Projects

Merged Viktor Kuncak requested to merge github/fork/SimonGuilloud/front-integration into front-integration 2 years ago

Viewing commit 2f437cbf

Show latest version

2f437cbf

Merge branch 'main' into front-integration. · 2f437cbf
SimonGuilloud authored 2 years ago
```
Reintroduce all of the front. Make the parser and printer working with the change on FOL.
```