anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-11-27 12:42:36 +03:00
Code Issues Projects Releases Wiki Activity
49 Commits 49 Branches 39 Tags 26 MiB
c51bd67095
Commit Graph

49 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Jonathan Prieto-Cubides
c51bd67095 [ ci ] installer newer haskell version, agda, agda2hs and build all. 2021-12-04 13:25:15 +01:00
HackMD
12ddc72096 Added checks without descriptions 2021-12-04 11:52:54 +00:00
HackMD
5d67754df0 Added holes to explain later 2021-11-28 20:57:15 +00:00
HackMD
00d749d185 [ notes/infer ] Added analysis for Applications 2021-11-28 20:21:43 +00:00
HackMD
17d4a832e1 [ notes/infer ] Added analysis for Applications 2021-11-28 20:21:43 +00:00
HackMD
c7a116b4c0 First commit from HackMD 2021-11-28 11:26:10 +00:00
Jonathan Cubides
8c870ea8fb
Create README.md 2021-11-28 12:25:36 +01:00
Jonathan Cubides
1c32980b87
Rename README.md to tooling.md 2021-11-28 12:25:22 +01:00
Jonathan Cubides
253d6efcc4
Merge pull request #1 from heliaxdev/juvix-source 
merge
 2021-11-28 12:24:14 +01:00
Jonathan Prieto-Cubides
580181210b Added holes for the parser. 2021-11-22 16:23:26 +01:00
Jonathan Prieto-Cubides
02e0d19492 [ Parsing/Parser.hs ] w.i.p. fix support for Language.hs 2021-11-21 23:57:45 +01:00
Jonathan Prieto-Cubides
ae6f1ff027 [ MiniJuvix/Parsing ] restructuring Language 2021-11-21 23:07:02 +01:00
Jonathan Prieto-Cubides
a597e6017b mend 2021-11-14 22:19:30 +01:00
Jonathan Prieto-Cubides
a1f3f0c4b9 minors 2021-11-14 22:18:30 +01:00
Jonathan Prieto-Cubides
fa5c8d77d4 w.i.p. adding ideal modules to cabal. Check compilation. 2021-11-14 14:22:29 +01:00
Jonathan Prieto-Cubides
99704af773 [ Juvix.Parser w.i.p ] fixing cabal compilation. 2021-11-13 22:46:54 +01:00
Jonathan Prieto-Cubides
2704f84fb9 Added more ideas to implement 2021-11-12 01:56:17 +01:00
Jonathan Prieto-Cubides
251899228e removed workflows folder. 2021-11-11 23:16:43 +01:00
Jonathan Prieto-Cubides
59256c7fe6 [ README ] Structure 2021-11-11 20:12:32 +01:00
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