HigherOrderCO/Kind1
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind1.git synced 2024-10-26 16:18:21 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,323 Commits 10 Branches 10 Tags 56 MiB
200e2d54ca
Commit Graph

267 Commits

Author SHA1 Message Date
MaiaVictor
03f4ed9ffd Fix update 2021-11-09 02:25:09 -03:00
MaiaVictor
5fef08ca79 Bits.to_nat identity proof 2021-11-09 01:24:50 -03:00
MaiaVictor
c41c27edf3 Fix U32.xor 2021-11-08 03:44:49 -03:00
MaiaVictor
51d47a726f Allow for to be on the left side of a list comprehension 2021-11-05 21:12:45 -03:00
MaiaVictor
417a3f6f0d Mapped list comprehension 2021-11-05 21:06:36 -03:00
MaiaVictor
779ea850b5 Map set syntax inits last map if key missing 2021-11-04 17:31:08 -03:00
rheidner
f1c4446bcb Merge branch 'master' of https://github.com/uwu-tech/Kind 2021-10-20 20:28:49 -03:00
Rígille S. B. Menezes
d22eb50bfb bump version number 2021-10-20 15:12:16 -03:00
rheidner
6e559aaad9 remove let omit from parser 2021-10-20 14:38:45 -03:00
rheidner
2b2132086f increase the stack size limit 2021-10-20 14:25:23 -03:00
rheidner
013e480d95 update scheme's version 2021-10-18 16:37:40 -03:00
MaiaVictor
8704f08c0e Merge branch 'master' of github.com:kind-lang/kind 2021-10-17 20:22:19 -03:00
MaiaVictor
7e51441192 Implicit arguments 2021-10-17 20:20:41 -03:00
MaiaVictor
3ef99958cf Change mutter operator symbol 2021-10-17 16:13:51 -03:00
MaiaVictor
36ad3aefea Add let-set syntax 2021-10-17 15:46:08 -03:00
MaiaVictor
daf9083c64 Several improvements on the getter/setter syntax; see CHANGELOG 2021-10-17 13:18:57 -03:00
Rígille S. B. Menezes
fd09f3c004 restore debian binary package files 2021-10-05 13:05:59 -03:00
MaisaMilena
ec49dafd9d
Parse UTF-8 into String (#297) 
* Add some functions related to Bytes and others

* Add some byte functions and tests

* Add more bytes funcs and decode for utf-8 - needs to test

* Update some names in tests for bytes

* Update some test

* Update kind version on Playground

* Add some bytes funcs

* WIP with Bytes.to_string

* WIP Bytes.parse_string.aux grrr

* Can decode Bytes.test.parse_string.2

* Can parse some strings

* Most part of string parsing from UTF-8

* Clean some code and update tests in Bytes.test.all

* fix from victor version

* Remove Scheme target, add comment about WIP

Co-authored-by: caotic123 <camposferreiratiago@gmail.com>
 2021-10-04 23:15:58 -03:00
MaiaVictor
075d53a597 for-in loops can destruct lists of tuples 2021-10-03 13:37:14 -03:00
MaiaVictor
a3e4912f19 Allow destructuring triples, quadruples, etc. with let 2021-10-03 12:43:39 -03:00
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