History

Zac Pullar-Strecker c648884397 Differentiate method/tymethod by determining 'defaultness'

Currently a method only has defaultness if it is a provided trait
method, but this will change when specialisation is available and may
need to become a concept known to hir.

I opted to go for a 'fewest changes' approach given specialisation is
still under development.

2020-10-08 15:04:21 +13:00

src

Differentiate method/tymethod by determining 'defaultness'

2020-10-08 15:04:21 +13:00

tests

Support 'runnables' options in the vs code extension

2020-10-02 12:35:22 +03:00

.eslintignore

Fix eslint errors on .eslintrc.js and rollup.config.js

2020-08-16 23:28:26 +08:00

.eslintrc.js

vscode: remove type assertion