8 Commits

Author	SHA1	Message	Date
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