Skip to content

Commit bcf4f2c

Browse files
cstmlcstml
committed
clean-up: remove redundant files
1 parent 30a043a commit bcf4f2c

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)