anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2025-01-05 22:46:08 +03:00
Code Issues Projects Releases Wiki Activity
73 Commits 57 Branches 40 Tags 22 MiB
e293deff03
Commit Graph

7 Commits

Author SHA1 Message Date
Jonathan Prieto-Cubides
e293deff03 [ examples/FirstMilestone ] added revisions 2021-12-28 12:26:19 -05: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