fluencelabs/aqua
1
0
Fork 0
mirror of https://github.com/fluencelabs/aqua.git synced 2024-12-12 09:45:32 +00:00
Code Issues Projects Releases Wiki Activity
535 Commits 28 Branches 84 Tags 29 MiB
c4144bad9c
Commit Graph

535 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
dmitry
76b37430e8 Basic generator works 2021-03-17 17:38:24 +03:00
DieMyst
63c852dfa2 coalgebra tests 2021-03-17 15:57:12 +03:00
dmitry
acb59d5582 ArrowGen 2021-03-17 15:17:51 +03:00
DieMyst
4b4509868c func head tests 2021-03-17 13:34:35 +03:00
dmitry
b4a9979278 ReturnExpr for functions 2021-03-17 13:10:21 +03:00
DieMyst
5fa8dde601 coalgebra tests 2021-03-17 12:40:48 +03:00
dmitry
35a3c4fc86 Generators WIP 2021-03-16 14:52:46 +03:00
dmitry
a80c8cd571 Working on Gen 2021-03-16 14:03:06 +03:00
dmitry
e3ad4f4ed1 Removed old contexts and expression parsers 2021-03-15 15:55:43 +03:00
dmitry
6b1f7dd0af Type checker works 2021-03-15 15:49:48 +03:00
dmitry
e33b499c42 Verifies (with bugs) 2021-03-15 15:19:32 +03:00
dmitry
401b7a31df Types interpreter 2021-03-15 14:42:07 +03:00
dmitry
ab4a26ee96 Basic PeerIdInterpreter 2021-03-15 12:48:41 +03:00
dmitry
b8d72677ee Basic NamesInterpreter 2021-03-15 12:39:18 +03:00
dmitry
b7306e1fa5 StackInterpreter factored out 2021-03-15 11:45:27 +03:00
alari
5306514e92 Access to Gen in Prog.around 2021-03-13 11:11:34 +03:00
dmitry
d7e81256ae Unused op removed 2021-03-12 17:40:02 +03:00
dmitry
c403830d59 Basic AbilitiesInterpreter implementation 2021-03-12 17:29:51 +03:00
dmitry
ef3fbec100 EitherT is not a good choice 2021-03-12 11:27:38 +03:00
dmitry
a1c69819d2 EitherT? 2021-03-11 17:06:31 +03:00
dmitry
ebc8ee2aa3 AbilitiesInterpreter wip 2021-03-11 16:53:04 +03:00
dmitry
a0309b8bdf Return Gen type instead of Unit 2021-03-11 13:02:30 +03:00
dmitry
d705b6f11e Moving packages around 2021-03-11 12:45:22 +03:00
dmitry
460854c12a F type in free algebras and ops 2021-03-10 16:06:26 +03:00
dmitry
09828df085 AbilitiesInterpreter WIP 2021-03-09 19:14:56 +03:00
dmitry
ebe77b164f progress 2021-03-09 17:11:42 +03:00
dmitry
69790cf6ca Func program 2021-03-09 15:13:01 +03:00
dmitry
e643ccff13 Coalgebra prog 2021-03-09 14:41:37 +03:00
dmitry
cdd9cc8cea Progs WIP 2021-03-09 14:07:05 +03:00
dmitry
4b0ddc7f48 Prog type 2021-03-09 12:45:17 +03:00
dmitry
be53b19c50 Exprs to free programs WIP 2021-03-08 18:02:40 +03:00
dmitry
d7b2f4c99c Free 2021-03-08 17:35:12 +03:00
dmitry
2119721829 Ast refactoring WIP 2021-03-08 16:08:30 +03:00
dmitry
1cdcc085bb Ast refactoring WIP 2021-03-08 15:33:28 +03:00
alari
4cb1c2a4d8 AST refactoring WIP 2021-03-08 12:14:35 +03:00
alari
fb176ebc15 Precompile WIP 2021-03-05 22:46:32 +03:00
alari
4356620579 Typechecker typechecks 2021-03-05 21:55:57 +03:00
alari
2276f27389 VarTypes WIP 2021-03-05 18:40:17 +03:00
alari
83a5585035 LiteralType 2021-03-05 18:24:34 +03:00
dmitry
f197996b33 Strict types collecting 2021-03-05 16:07:38 +03:00
dmitry
604edbc4cc Variance wording in tests 2021-03-05 14:34:02 +03:00
dmitry
716ea53240 accepts 2021-03-05 14:26:56 +03:00
dmitry
8b1eae4c9c TypeSpec 2021-03-05 14:11:46 +03:00
dmitry
bf5e841227 ScalarType 2021-03-05 12:32:46 +03:00
alari
07fe9ef872 TypeMatcher WIP 2021-03-04 21:32:32 +03:00
dmitry
d0ef5ee942 Typechecker WIP 2021-03-04 18:51:37 +03:00
dmitry
393cff7579 Typecheck WIP 2021-03-03 17:57:36 +03:00
dmitry
8f3d5915fc ExpectAndDefine type simplification 2021-03-03 17:34:14 +03:00
dmitry
09863f84bf Arrows spec 2021-03-03 16:41:59 +03:00
dmitry
05970c248c Arrows WIP 2021-03-03 15:46:31 +03:00