|
app
|
Removed executable
|
2023-06-04 17:12:29 +02:00 |
|
.gitignore
|
Implemented unification and resolution
|
2023-06-04 17:10:14 +02:00 |
|
LICENSE
|
Implemented unification and resolution
|
2023-06-04 17:10:14 +02:00 |
|
resolution.cabal
|
Renamed project
|
2023-06-04 17:11:18 +02:00 |
