language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-31 09:07:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6
34169 commits 365 branches 6 tags 229 MiB
Commit graph

56 commits

Author SHA1 Message Date
Ayaz Hafiz
c9d2c4d4cd
Drop unused schema 2023-07-17 09:50:37 -05:00
Ayaz Hafiz
d6c24accef
Schema unification mode 2023-07-17 09:50:37 -05:00
Ayaz Hafiz
18e9f8f034
Move unify::Mode to roc_solve_schema 2023-07-17 09:50:36 -05:00
Ayaz Hafiz
87d108eccc
Push checkmate through env 2023-07-17 09:48:59 -05:00
Ayaz Hafiz
1df2e942a2
Add a collector of unification + solve events 2023-07-17 09:47:57 -05:00
Ayaz Hafiz
40223a697d
First pass of checkmate schema 2023-07-17 09:47:57 -05:00