Commit Graph

4 Commits

Author SHA1 Message Date
aaa6dc7e48
Update .gitignore 2016-05-09 19:56:45 +02:00
c454fb0b9e
Add liquidhaskell files to .gitignore 2015-12-27 16:25:45 +01:00
38fda9e768
Update .gitignore 2015-12-20 00:31:25 +01:00
d13cdac9e0
Initial commit 2015-12-17 04:42:22 +01:00