omedusyo/linear-check
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Thinking about Linearity Checking
28 commits 1 branch 0 tags 265 KiB
  • Elm 90.4%
  • CSS 5%
  • TypeScript 4.3%
  • HTML 0.3%
Find a file
Exact
Yura Dupyn 1873e90700 Iprove styling
2026-07-06 21:46:48 +02:00
src Iprove styling 2026-07-06 21:46:48 +02:00
.gitignore UI setup 2026-07-06 20:20:07 +02:00
elm.d.ts Vite config 2026-07-06 21:25:14 +02:00
elm.json UI setup 2026-07-06 20:20:07 +02:00
index.css Iprove styling 2026-07-06 21:46:48 +02:00
index.html Vite config 2026-07-06 21:25:14 +02:00
main.ts Display elaboration errors. Ctrl+enter keybind to re-check 2026-07-06 21:07:14 +02:00
package-lock.json codemirror vim, dark-mode. Improve styles. 2026-07-06 20:32:09 +02:00
package.json Vite config 2026-07-06 21:25:14 +02:00
tsconfig.json Vite config 2026-07-06 21:25:14 +02:00
vite.config.ts Vite config 2026-07-06 21:25:14 +02:00