1
1
mirror of https://github.com/anoma/juvix.git synced 2024-12-25 16:45:20 +03:00
Commit Graph

63 Commits

Author SHA1 Message Date
Jan Mas Rovira
81c88597ed make version restrictions more explicit 2021-12-24 08:31:21 +01:00
Jan Mas Rovira
7dff4da317 fix compilation errors 2021-12-23 11:19:46 +01:00
Jan Mas Rovira
c97a3943c5 remove cabal file 2021-12-23 10:59:17 +01:00
Jan Mas Rovira
07f2eb6689 upgrade to ghc9, use hpack 2021-12-23 10:57:55 +01:00
HackMD
2203a39f4a Revisions on Frid. 17 Dec 2021-12-17 12:33:02 +00:00
HackMD
db4ccd3f92 Revisions on Frid. 17 Dec 2021-12-17 12:33:02 +00:00
Jonathan Prieto-Cubides
9fadcc8b77 [ docs/README ] w.i.p 2021-12-05 16:08:23 +01:00
HackMD
b1584e3eff added new rules 2021-12-05 14:42:35 +00:00
HackMD
caaa753790 added new rules 2021-12-05 14:42:35 +00:00
HackMD
903b73b3b2 weekend additions 2021-12-05 01:45:08 +00:00
Jonathan Prieto-Cubides
c2e94be3fc [ ci ] commenting haskell build for now 2021-12-04 14:42:19 +01:00
Jonathan Prieto-Cubides
2c74703716 Fixing ci, remove md file 2021-12-04 14:38:28 +01:00
Jonathan Prieto-Cubides
24d8c5028b Fixing ci 2021-12-04 14:24:04 +01:00
Jonathan Prieto-Cubides
5c3b3d3ad6 [ docs ] added ways to have the docs locally using pandoc 2021-12-04 14:17:49 +01:00
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