Skip to content

Commit 57eb9aa

Browse files
cstmlcstml
authored
Merge pull request #66 from mlabs-haskell/compiler/proto-integration
clean-up: remove redundant files
2 parents 984d948 + cf036e6 commit 57eb9aa

File tree

3 files changed

+0
-73
lines changed

3 files changed

+0
-73
lines changed

‎lambda-buffers-compiler/src/LambdaBuffers/Compiler/KindCheck/Context.hs

Lines changed: 0 additions & 42 deletions
This file was deleted.

‎lambda-buffers-compiler/src/LambdaBuffers/Compiler/KindCheck/Judgement.hs

Lines changed: 0 additions & 20 deletions
This file was deleted.

‎lambda-buffers-compiler/src/LambdaBuffers/Compiler/KindCheck/Variable.hs

Lines changed: 0 additions & 11 deletions
This file was deleted.

0 commit comments

Comments
 (0)