Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-09-11 07:15:45 +03:00
Code Issues Projects Releases Wiki Activity
573 Commits 10 Branches 10 Tags 56 MiB
ceb2e39999
Commit Graph

2 Commits

Author SHA1 Message Date
Felipe g
b09b544e55 refactor: started to refactor the entire compiler inspired in rustc 2022-10-04 14:02:44 -03:00
Felipe g
e6d79950d9 Added configuration and some fixes 2022-09-21 13:05:53 -03:00