Jonathan Prieto-Cubides
|
4d4ece5590
|
WIP. Adapting source code from heliaxdev/juvix for parsing purposes.
|
2021-11-11 20:08:49 +01:00 |
|
Jonathan Prieto-Cubides
|
a56e4f4f89
|
[ .gitignore ] added agda folders
|
2021-11-11 18:26:02 +01:00 |
|
Jonathan Prieto-Cubides
|
f18fca0e56
|
w.i.p.
|
2021-11-09 14:13:40 +01:00 |
|
Jonathan Prieto-Cubides
|
92ebbd5312
|
[ hie.yaml ] fixed support to work in vscode
|
2021-10-30 12:30:06 +02:00 |
|
Jonathan Prieto-Cubides
|
9b8474e809
|
[ Syntax ] cosmetics.
|
2021-10-30 12:15:39 +02:00 |
|
Jonathan Prieto-Cubides
|
4d7a5b1e1d
|
Merge branch 'qtt' of github.com:heliaxdev/MiniJuvix into qtt
|
2021-10-30 12:09:51 +02:00 |
|
Jonathan Prieto-Cubides
|
42b24614ca
|
[ Syntax ] refactor due to a new datatype for variables
|
2021-10-30 12:08:12 +02:00 |
|
Jonathan Prieto-Cubides
|
744a020050
|
[ cabal ] Ussing standalone deriving for some types in Core and Eval modules.
|
2021-10-30 11:55:05 +02:00 |
|
Jonathan Prieto-Cubides
|
374e5a08ce
|
[ Makefile ] added "prepare-push" to call hlint, ormolu, and check line witdh.
|
2021-10-30 11:51:42 +02:00 |
|
Jonathan Cubides
|
24913eaebf
|
Add CI to the qtt branch
|
2021-10-26 15:09:39 +02:00 |
|
Jonathan Prieto-Cubides
|
08e1e752de
|
[ README ] Update branch description.
|
2021-10-26 14:50:52 +02:00 |
|
Jonathan Prieto-Cubides
|
3ac7ea6975
|
[ .cabal ] Fixed Haskell compilation, upgraded dependencies.
|
2021-10-26 14:49:51 +02:00 |
|
Jonathan Prieto-Cubides
|
cc2b8a4b33
|
[ Core ] Fixed Ord instance, added Semiring class and instance, and Utils.Prelude
|
2021-10-26 14:48:16 +02:00 |
|
Jonathan Prieto-Cubides
|
34cb092a5b
|
[ Makefile ] added build commands, taken from Juvix.
|
2021-10-26 14:44:54 +02:00 |
|
Jonathan Prieto-Cubides
|
d62daccc41
|
[ Core ] reviewed Eq and added Ord instance for Quantity.
|
2021-10-25 18:52:02 +02:00 |
|
Jonathan Prieto-Cubides
|
69330ed4f4
|
[ Core.agda/hs ] Added instances to quantities of a monoid, semirring, still missing ord.
|
2021-10-22 14:06:33 +02:00 |
|
Jonathan Prieto-Cubides
|
36a48bddc2
|
[ Core.agda/hs ] Added Eq instances for Quantity, Checkable and Inferable terms.
|
2021-10-22 13:27:05 +02:00 |
|
Jonathan Prieto-Cubides
|
0b184e1a5b
|
Added initial def. for values and neutral terms.
|
2021-10-22 10:06:41 +02:00 |
|
Jonathan Prieto-Cubides
|
a832b67041
|
Added some syntax revision and initial version of term substitution.
|
2021-10-21 23:12:07 +02:00 |
|
Jonathan Prieto-Cubides
|
88bf127a75
|
Add relevancy data type.
|
2021-10-19 10:09:25 +02:00 |
|
Jonathan Prieto-Cubides
|
9b2a1d3913
|
[ notes ] added small example code
|
2021-10-19 19:27:02 +02:00 |
|
Jonathan Prieto-Cubides
|
ae664ca555
|
[ src ] Added Core.hs
|
2021-10-18 19:26:15 +02:00 |
|
Jonathan Prieto-Cubides
|
a2dfce55c8
|
[ Makefile ] added formula agda2hs ./src/MiniJuvix/Syntax/Core.agda -o src -X UnicodeSyntax
Writing src/MiniJuvix/Syntax/Core.hs for Core.hs
|
2021-10-18 19:25:26 +02:00 |
|
Jonathan Prieto-Cubides
|
3fc204bb95
|
[ agda ] added syntax for bitypechcking.
|
2021-10-18 19:24:21 +02:00 |
|
Jonathan Prieto-Cubides
|
c9b0ed5416
|
Minor additions
|
2021-10-18 19:21:30 +02:00 |
|
Jonathan Prieto-Cubides
|
8853b30cd5
|
Added agda ignores
|
2021-10-18 16:45:34 +02:00 |
|
Jonathan Prieto-Cubides
|
17776532a7
|
Delete ci.yml
[ README ] Added CI badge
Update README.md
Update README.md
Update README.md
Update README.md
Update README.md
|
2021-09-26 19:29:17 +02:00 |
|
Jonathan Cubides
|
e66724535d
|
Create haskell.yml
|
2021-09-26 19:07:26 +02:00 |
|
Jonathan Cubides
|
c8049d697f
|
[ README ] fixed layout
|
2021-09-26 19:06:22 +02:00 |
|
Jonathan Prieto-Cubides
|
48abde93b4
|
First commit, initial project template.
|
2021-09-26 18:59:51 +02:00 |
|