Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-09-11 07:15:45 +03:00
Code Issues Projects Releases Wiki Activity
2,701 Commits 10 Branches 10 Tags 56 MiB
master
Commit Graph

2701 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rígille S. B. Menezes
40834a08bf fix typechecking of continuation of a call 2021-09-16 13:21:32 -03:00
Vitor
4576c2d2e1 Added more Bits functions 2021-09-15 18:14:58 -03:00
Rígille S. B. Menezes
b058313ec9 add all function arguments to context 2021-09-15 16:19:25 -03:00
Vitor
00f3c85561 Bits type for lit lang 2021-09-15 15:15:56 -03:00
Rígille S. B. Menezes
7e45b8f305 restore important code 2021-09-15 13:52:42 -03:00
MaiaVictor
a35c3bb500 Merge branch 'master' of github.com:uwu-tech/kind 2021-09-15 13:35:07 -03:00
MaiaVictor
feb943d432 Litereum paper changes 2021-09-15 13:28:21 -03:00
Rígille S. B. Menezes
64a51a8e4c remove old code 2021-09-15 13:09:52 -03:00
caotic123
33f54b447a add experimental decode base64 2021-09-15 00:32:43 -03:00
Rígille S. B. Menezes
e6ffa61436 draft Lit.Core section 2021-09-14 17:26:13 -03:00
rheidner
d5d848daa6 Merge branch 'master' of https://github.com/uwu-tech/Kind 2021-09-14 14:13:40 -03:00
rheidner
160de528fe allow functions have more than one owner 2021-09-14 14:13:35 -03:00
Rígille S. B. Menezes
aba32f293b
Merge pull request #296 from quleuber/master 
Litereum.md suggestions
 2021-09-14 13:34:38 -03:00
rheidner
62c059ea16 Merge branch 'master' of https://github.com/uwu-tech/Kind 2021-09-13 18:08:19 -03:00
rheidner
058b372020 add lit TODO 2021-09-13 18:06:40 -03:00
Kelvin Santos
7add10b855 Litereum.md: one more suggestion 2021-09-13 17:59:45 -03:00
Kelvin Santos
94ae825b97 Litereum.md suggestions 2021-09-13 17:55:00 -03:00
Kelvin Santos
4079e795a2 spelling 2021-09-13 17:34:28 -03:00
MaiaVictor
c09590365b Fix mistakes 2021-09-13 17:12:26 -03:00
MaiaVictor
5e0d3ee11f Fix grammar 2021-09-13 17:11:07 -03:00
MaiaVictor
6608ec39ed Litereum signature spec 2021-09-13 16:56:51 -03:00
MaiaVictor
1fa113922a LitCons polishments and paper updates 2021-09-10 18:07:50 -03:00
MaiaVictor
689d0daf12 Change order 2021-09-10 17:37:17 -03:00
MaiaVictor
f7807c077a Rename work to nonc 2021-09-10 17:35:32 -03:00
MaiaVictor
54a39f7064 Rename Post to Page 2021-09-10 17:26:05 -03:00
MaiaVictor
935e4857f3 Add TODO on Litereum 2021-09-10 16:53:13 -03:00
MaiaVictor
3681ccad15 Add some TODOs to Litereum 2021-09-10 16:26:30 -03:00
MaiaVictor
fbd715723a Add FIXME 2021-09-10 13:33:09 -03:00
MaiaVictor
202089726f Add missing file 2021-09-10 13:15:21 -03:00
MaiaVictor
e2978f1d94 Remove artifact 2021-09-09 12:50:31 -03:00
MaiaVictor
7186fb9a3c Litereum: move serialization to Lit.Bits 2021-09-09 12:41:43 -03:00
MaiaVictor
29c7ceccfe Litereum syntax updates 2021-09-09 11:32:05 -03:00
rheidner
3c2bb21fd7 Merge branch 'master' into rheidner/tick 2021-09-09 10:34:34 -03:00
MaiaVictor
8b26d6e677 Merge branch 'master' of github.com:uwu-tech/kind 2021-09-09 00:26:00 -03:00
MaiaVictor
d7c2af3509 Litereum multi-arg functions 2021-09-09 00:25:56 -03:00
rheidner
e05089ad45 Kind: refactor fix in AppPlay tick code 2021-09-08 20:58:27 -03:00
Rígille S. B. Menezes
955df1a03c remove submodules 2021-09-08 13:12:15 -03:00
rheidner
e23dd2238f Merge branch 'master' into rheidner/tick 2021-09-08 13:08:07 -03:00
Vitor
1abd4f146c Merge branch 'master' of https://github.com/uwu-tech/kind 2021-09-06 17:42:46 -03:00
Vitor
99aa87e97e changed how tile effect works 2021-09-06 17:42:26 -03:00
rheidner
a01322c217 KL: change tab window background 2021-09-06 13:52:03 -03:00
rheidner
091d6b4362 Merge branch 'master' of https://github.com/uwu-tech/Kind 2021-09-06 13:11:03 -03:00
rheidner
6b0bb735a7 Kind: solve tick problem (WIP) 2021-09-06 13:09:54 -03:00
rheidner
50268c7c2f Kind: solve tick problem (WIP) 2021-09-06 11:20:36 -03:00
rheidner
b8ad210028 Kind: logs to know where the problem is 2021-09-06 11:19:52 -03:00
Rígille S. B. Menezes
016efe1f48 start pretty-printing function 2021-09-03 17:55:59 -03:00
MaiaVictor
58173a82fa Merge branch 'master' of github.com:uwu-tech/kind 2021-09-03 17:14:35 -03:00
MaiaVictor
ed151f12f5 Litereum polishments and validate 2021-09-03 17:00:13 -03:00
Derenash
f151ad00dd KL: updated apply_status 2021-09-03 13:45:55 -03:00
Derenash
12f291ef23 KL: Updated walk skill to show haste range 2021-09-03 11:03:38 -03:00