TypecheckingService and provider component are explicitly dependent on SRepository. The repository instance comes from the first opened project, which is a dirty hack and is temporary until Typechecking Facade API is fixed to provide appropriate instance. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||