anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-15 10:03:22 +03:00
Code Issues Projects Releases Wiki Activity
142 Commits 53 Branches 39 Tags 21 MiB
61df66d186
Commit Graph

25 Commits

Author SHA1 Message Date
Jan Mas Rovira
61df66d186 replace relude by our own Prelude 2022-01-21 09:50:37 +01:00
Jan Mas Rovira
b808a03760 [app] pretty print parsed Haskell AST 2022-01-20 12:50:16 +01:00
Jan Mas Rovira
1d6ca6b989 [app] prepare app 2022-01-18 13:30:49 +01:00
Jan Mas Rovira
8436544e87 [scoper] parse expressions 2022-01-17 20:12:31 +01:00
Jan Mas Rovira
c8cfb27fc4 [scoper] work more on the scoper 2022-01-15 19:55:18 +01:00
Jan Mas Rovira
f822a1a157 [parser, scoper] rethink concrete/scoped AST. Use TypeFamilies again 2022-01-13 11:51:19 +01:00
Jan Mas Rovira
d74871d185 [test] fix tests paths and add stance to package.yaml 2022-01-11 10:09:08 +01:00
Jonathan Prieto-Cubides
74dfb78693 Fixing more merging conflicts 2022-01-10 11:02:20 -05:00
Jonathan Cubides
a33e8deff8
Merge branch 'qtt' into jan 2022-01-10 10:03:39 -05:00
Jan Mas Rovira
64869edceb [build] remove unused stances 2022-01-10 12:38:43 +01:00
Jan Mas Rovira
7082c21223 [parser] add QQ parser 2022-01-10 10:46:28 +01:00
Jan Mas Rovira
ba0e4ff543 [parser] add injective type families and adapt ModulePathType accordingly 2022-01-05 09:38:35 +01:00
Jan Mas Rovira
21ccec7f04 [parser] add necessary extensions for singletons and implement singletons for ModuleIsTop 2022-01-05 09:38:35 +01:00
Jan Mas Rovira
90d745e12b [dependencies] remove dependency of singletons-th 2022-01-05 09:38:35 +01:00
Jan Mas Rovira
0744567313 [dependencies] add singletons dependency and sort dependencies 2022-01-05 09:38:35 +01:00
Jan Mas Rovira
dd497baace [dependencies] add microlens-platform dependency 2022-01-05 09:38:28 +01:00
Jan Mas Rovira
ebf89ef254 add polysemy dependency. Incompatible with Safe 2022-01-03 12:52:58 +01:00
Jonathan Prieto-Cubides
39359b6a04 [ package.yaml ] update metadata 2021-12-30 10:59:41 -05:00
Jan Mas Rovira
1d7394bb41 implement preparser 2021-12-29 18:27:38 +01:00
Jan Mas Rovira
fc8eef6cca add some syntax changes 2021-12-28 17:19:20 +01:00
Jan Mas Rovira
cf82ce8a44 add syntax example (without usages). Adapt Language.hs 2021-12-24 18:58:20 +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
07f2eb6689 upgrade to ghc9, use hpack 2021-12-23 10:57:55 +01:00