Julian Ospald
|
9370bb4e02
|
Update installation method and bump deps
|
2020-01-24 22:30:37 +01:00 |
Julian Ospald
|
cb2d0245a8
|
Update .gitignore
|
2018-09-24 00:15:22 +08:00 |
Julian Ospald
|
52567888ec
|
Update .gitignore
|
2018-09-23 23:28:51 +08:00 |
Julian Ospald
|
0f247d55ab
|
Update .gitignore
|
2018-07-17 21:34:38 +08:00 |
Julian Ospald
|
aaa6dc7e48
|
Update .gitignore
|
2016-05-09 19:56:45 +02:00 |
Julian Ospald
|
c454fb0b9e
|
Add liquidhaskell files to .gitignore
|
2015-12-27 16:25:45 +01:00 |
Julian Ospald
|
38fda9e768
|
Update .gitignore
|
2015-12-20 00:31:25 +01:00 |
Julian Ospald
|
d13cdac9e0
|
Initial commit
|
2015-12-17 04:42:22 +01:00 |