Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-10-26 16:20:40 +03:00
Code Issues Projects Releases Wiki Activity
2,150 Commits 13 Branches 10 Tags 57 MiB
5b280af13c
Commit Graph

247 Commits

Author SHA1 Message Date
Rígille S. B. Menezes
50a1b8c55c correct name parser 
now it doesn't accept identifiers that don't start with a letter
 2021-09-23 15:36:33 -03:00
rheidner
64ed2f79d8 Lit: change line by command 2021-09-21 19:37:00 -03:00
MaiaVictor
de753a437d Update FormCoreJS to optimize F64 comparisons 2021-09-17 15:44:11 -03:00
MaiaVictor
65cee6e115 Update FormCoreJS to optimize F64 comparisons 2021-09-17 15:43:49 -03:00
rheidner
23fd700d55 Kind: fix DOM's for's does not creating another div 2021-09-16 18:39:04 -03:00
MaiaVictor
6327ace3af Only load undefined deps that start with uppercase 
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.
 2021-09-01 18:45:19 -03:00
Rígille S. B. Menezes
6752a5148a use nix to build kind-scm 2021-08-31 12:35:37 -03:00
Rígille S. B. Menezes
ff9602be9b release new version 2021-08-26 16:11:26 -03:00
MaiaVictor
9c85321d8c Merge branch 'master' of github.com:uwu-tech/kind 2021-08-25 02:50:45 -03:00
MaiaVictor
ecd992c2f0 Litereum updates 2021-08-25 02:49:44 -03:00
Rígille S. B. Menezes
e4ac009299 add submodules as http 2021-08-23 12:37:24 -03:00
Rígille S. B. Menezes
3cad895caa remove ssh submodules 2021-08-23 12:22:23 -03:00
Daan van Berkel
0d04ba9eb3 correct expectation of running Main 
The current implementation outputs "oi" instead of "Hello, World!"
 2021-08-23 15:53:25 +02:00
Rígille S. B. Menezes
d591e7833d keep scheme folder and bin folder 2021-08-22 00:03:36 -03:00
rheidner
dca6bb00b9 Merge branch 'master' into rheidner/syntax 2021-08-20 17:30:54 -03:00
rheidner
dda8371a81 Kind: Inc version 2021-08-20 17:30:19 -03:00
rheidner
dc74be692c Kind: remove -j parameter from scheme's makefile 2021-08-20 17:12:53 -03:00
rheidner
17aef75b15 Kind: refactor dom's formap syntax 2021-08-20 15:44:57 -03:00
rheidner
330fbceb16 Merge branch 'master' into rheidner/syntax 2021-08-20 14:59:41 -03:00
Rígille S. B. Menezes
74910824cc inc version 2021-08-20 14:27:47 -03:00
rheidner
5e6c95efa2 inc version 2021-08-20 14:15:41 -03:00
rheidner
858ca9177c Merge branch 'master' into forall-change 2021-08-19 23:01:44 -03:00
rheidner
0d93b1801b Kind: change parameter name 2021-08-19 22:24:27 -03:00
rheidner
23fce8d7dd Kind: change forall syntax, now self must be together with parenthesis 2021-08-19 22:14:29 -03:00
MaiaVictor
9be69d9aea Inc version 2021-08-19 11:15:38 -03:00
MaiaVictor
782c4bb23a Re-add stack limit 2021-08-19 11:15:16 -03:00
Rígille S. B. Menezes
e6336fbf4a rebuild kind 2021-08-17 22:22:09 -03:00
MaiaVictor
4bbae58431 Build kind.js with Scheme functionality while we wait for the Kind.Core.read.strx fix 2021-08-17 21:53:27 -03:00
MaiaVictor
d831cf5037 Merge branch 'master' of github.com:uwu-tech/kind 
I had to temporarily comment some lines on export.kind due to a error
type-checking the cached version on KindJS.
 2021-08-17 21:49:26 -03:00
Rígille S. B. Menezes
89661eb588 Merge branch 'forall-change' 2021-08-17 10:25:25 -03:00
Rígille S. B. Menezes
cd873e7c2c fix make recipe 2021-08-16 14:27:24 -03:00
Rígille S. B. Menezes
e8b4cf3184 update debian package version 2021-08-16 11:24:24 -03:00
Rígille S. B. Menezes
0a001ba6f6 remove chezscheme dependency 2021-08-16 11:19:17 -03:00
Rígille S. B. Menezes
1500f394fe add comments about bootstrapping 2021-08-16 11:07:14 -03:00
Rígille S. B. Menezes
e38ab4bdaa avoid segfaults in deep recursions 2021-08-16 10:45:01 -03:00
Rígille S. B. Menezes
4c955410e4 get rid of annoying important warning 2021-08-16 10:40:09 -03:00
Rígille S. B. Menezes
9e87141fbe escape $ in Makefile 2021-08-16 10:39:24 -03:00
Rheidner
364f68eea2 Kind: add scheme release 2021-08-15 22:40:13 -03:00
Rheidner
1e6738c5b5 Kind: allow optional type in argument on lambdas 2021-08-13 21:40:32 -03:00
Rígille S. B. Menezes
e877fdd963 progress with build script 2021-08-13 19:10:03 -03:00
Rheidner
42163c38d2 change syntax of lambda's and forall's 2021-08-13 18:24:07 -03:00
Rígille S. B. Menezes
d3d61a0dca correct recipe for chez scheme 2021-08-13 16:40:05 -03:00
Rígille S. B. Menezes
179f49e9e6 add recipe for compiling chez 2021-08-13 14:30:28 -03:00
Rígille S. B. Menezes
b9c3421762 Merge branch 'master' into scheme-binary 2021-08-13 14:22:07 -03:00
Rígille S. B. Menezes
6bf1600b39 update makefile 2021-08-13 14:14:49 -03:00
Rígille S. B. Menezes
5f82695525 add ChezScheme and chez-exe as binaries 2021-08-12 21:03:26 -03:00
MaiaVictor
2989392ecd Inc version 2021-08-12 19:04:22 -03:00
MaiaVictor
f444eb63c3 Merge branch 'master' of github.com:uwu-tech/kind 2021-08-12 19:03:53 -03:00
MaiaVictor
010ce08747 Fix optimized int show functions not returning strings on FormCoreJS 2021-08-12 19:03:46 -03:00
Rígille S. B. Menezes
3b4fe3d644 update scheme build 2021-08-11 15:26:04 -03:00