mirror of
https://github.com/HigherOrderCO/Kind1.git
synced 2024-10-26 18:37:43 +03:00
6327ace3af
Global definitions must start with upper-case, so, when they don't, we can avoid the slow request to uwu.tech trying to find the definition on the base libs. This will greatly speed up the type-checker most of the times when there is an undefined variable error. |
||
---|---|---|
.. | ||
hs | ||
js | ||
scm | ||
bootstrap.js | ||
package-lock.json | ||
package.json |