This repository was archived by the owner on Oct 7, 2020. It is now read-only.

Commit 024cde6

authored

Merge pull request #900 from meck/gitignoreliqud

Remove liquid Haskell result files

2 parents b2ae0a5 + 9f83cd5 commit 024cde6Copy full SHA for 024cde6

4 files changed

+14

-51

lines changed

+14

-51

lines changed

Comments

(0)