|
.idea
|
Wow such progress very advanced
|
2023-12-03 02:58:50 +01:00 |
|
data
|
fix some stuff, add some stuff
|
2024-03-13 20:36:41 +01:00 |
|
minimize-coq-macros
|
New AST
|
2024-01-25 18:59:17 +01:00 |
|
src
|
Fix all warning
|
2024-03-13 20:42:21 +01:00 |
|
.gitignore
|
fix some stuff, add some stuff
|
2024-03-13 20:36:41 +01:00 |
|
.gitmodules
|
Random files to test things
|
2023-11-09 09:49:57 +01:00 |
|
Cargo.toml
|
fix some stuff, add some stuff
|
2024-03-13 20:36:41 +01:00 |
|
file.json
|
Random files to test things
|
2023-11-09 09:49:57 +01:00 |