anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-20 13:21:47 +03:00
Code Issues Projects Releases Wiki Activity
1,233 Commits 52 Branches 39 Tags 21 MiB
9f8c26dbb2
Commit Graph

1233 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Jan Mas Rovira
e751cf4215 [parser] remove obsolete comment 2021-12-30 06:04:56 +01:00
Jan Mas Rovira
5b143fd567 Merge branch 'qtt' into jan 2021-12-29 18:31:31 +01:00
Jan Mas Rovira
1d7394bb41 implement preparser 2021-12-29 18:27:38 +01:00
Jonathan Prieto-Cubides
2322f24339 [ examples ] fixed some types 2021-12-28 12:37:06 -05:00
Jonathan Prieto-Cubides
e293deff03 [ examples/FirstMilestone ] added revisions 2021-12-28 12:26:19 -05:00
Jan Mas Rovira
e6c949b999 change syntax 2021-12-28 17:57:44 +01:00
Jan Mas Rovira
aa3052d230 delete and ignore .ghci 2021-12-28 17:20:36 +01:00
Jan Mas Rovira
fc8eef6cca add some syntax changes 2021-12-28 17:19:20 +01:00
Jan Mas Rovira
8840f03155 Merge branch 'jan' into qtt 2021-12-28 10:42:11 +01:00
Jan Mas Rovira
40381f891f add FirstMilestone example and adapt concrete AST 2021-12-28 10:36:41 +01:00
Jonathan Prieto-Cubides
c6d012bd69 [ examples/ ] small revisions 2021-12-26 17:12:39 -05:00
Jonathan Prieto-Cubides
a6c2258ea8 [ examples ] Added examples based on juvix examples 2021-12-26 11:26:39 -05:00
Jonathan Prieto-Cubides
101b075a58 Added example of syntax, first revision 2021-12-25 09:43:24 -05:00
Jan Mas Rovira
cf82ce8a44 add syntax example (without usages). Adapt Language.hs 2021-12-24 18:58:20 +01:00
Jan Mas Rovira
ecaab763aa use stack instead of cabal for hie.yaml 2021-12-24 10:33:26 +01:00
Jonathan Cubides
69d7e58b06
Merge pull request #2 from heliaxdev/jan 
Upgrade to GHC 9 and use hpack
 2021-12-24 10:01:35 +01:00
Jan Mas Rovira
be416e5a0b minimize language extensions 2021-12-24 08:31:48 +01:00
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
Jonathan Cubides
707767a470
Delete notes directory 2021-11-28 12:26:48 +01:00
HackMD
c7a116b4c0 First commit from HackMD 2021-11-28 11:26:10 +00:00
HackMD
f4423cfffe 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