Kind2/.gitignore

**/node_modules
scripts/
*.class
.DS_Store
src/_*
src/tmp*
bin/hs/cabal.project.local*
bin/scm/scheme/
bin/scm/bin/
tmp.js
.vscode
*.orig
web/*.lock
base/.cache
/base/playground.kind
web/src/apps/*.js
web/events/data/*
*.so
*.wpo
.cache
/.gtm/
web/docs
.env
Image3D and Pos32 functions 2021-03-16 04:26:21 +03:00			`**/node_modules`
			`scripts/`
UwU 2021-02-20 02:11:49 +03:00			`*.class`
			`.DS_Store`
			`src/_*`
			`src/tmp*`
			`bin/hs/cabal.project.local*`
update makefile 2021-08-13 20:14:49 +03:00			`bin/scm/scheme/`
			`bin/scm/bin/`
Update Kaelin 2021-04-06 22:52:47 +03:00			`tmp.js`
Improved website typography and responsive layout (#187) * cleaner responsive layout logic, separated typography * added webfont * Added typography and improved responsive layout logic. * cleaner responsive layout logic, separated typography * added webfont * Added typography and improved responsive layout logic. * fixed typo and cleaned up some redundant code 2021-04-25 05:53:23 +03:00			`.vscode`
			`*.orig`
			`web/*.lock`
Incremental compilation: performance breakthrough Kind will now only type-check terms that changed by storing past type-check results on base/.cache and invalidating caches recursively. This results in order of magnitudes faster type-checking. 2021-04-28 03:46:29 +03:00			`base/.cache`
Add Playground app (#203) * Add base for Playground * Add AppPlay event 'onsubmit' * Update Playground interface related to code input * Auto stash before merge of "maisa/playground" and "master" * Add output area for Playground * Add 'request' to run_io * Remove events for: mouse_out, resize and submit * Add mouse_click event and output area * Add on_input event * Improve request error handling * Adjust mobile interface * Refactor code * Update some app details * Update Kind app * Add server to typecheck * Enconding URL to fetch * Update server info * Update to build all apps 2021-05-12 01:54:55 +03:00			`/base/playground.kind`
Add README on the apps dir 2021-05-23 21:23:17 +03:00			`web/src/apps/*.js`
			`web/events/data/*`
ignore .so and .wpo 2021-06-02 22:30:24 +03:00			`*.so`
			`*.wpo`
generalize Kind.Comp.Prim more I'm still using the old version for comparison 2021-06-14 23:55:14 +03:00			`.cache`
			`/.gtm/`
Remove docs contents 2021-06-23 00:18:01 +03:00			`web/docs`
Update server Home and build.js to build a few Apps on the server side 2021-08-19 21:19:30 +03:00			`.env`