search

imandra-ai / imandra-vscode

VSCode extension for developing imandra
Other
2 stars 0 forks source link

build automatically on install #19

Open ewenmaclean opened 5 years ago

ewenmaclean commented 5 years ago

Use the tsconfig to properly specify the tasks on install and pre-install