verify-hs/src/Haskell, branch types Equational reasoning helper tool for Haskell-like expressions https://git.tomsmeding.com/verify-hs/atom?h=types 2019-04-24T19:57:27Z Start working on a type checker 2019-04-24T19:57:27Z Tom Smeding tom.smeding@gmail.com 2019-04-24T19:57:27Z urn:sha1:e83d85eb08a370f3943294f21a4c27cd3b12ad09 Organisation cleanup 2019-04-09T21:30:08Z Tom Smeding tom.smeding@gmail.com 2019-04-09T21:30:08Z urn:sha1:573967434a8b1cb14ee7de43ec11bd616cf568c6 Fix parser (lambdas and quotes in names) 2019-04-09T21:28:58Z Tom Smeding tom.smeding@gmail.com 2019-04-09T21:28:58Z urn:sha1:b9494feebfabec0db65ee1b0e77cbd2d0d740470 Add rewall command 2019-04-08T20:57:10Z Tom Smeding tom.smeding@gmail.com 2019-04-08T20:57:10Z urn:sha1:8f742dc39085ebd15848ab32662239e8562a430c Add auto command 2019-04-08T20:25:40Z Tom Smeding tom.smeding@gmail.com 2019-04-08T20:25:40Z urn:sha1:57ac7ed93d048397b36e53d50db6d328e31bd2cc Slightly better pretty printing 2019-03-19T19:34:19Z Tom Smeding tom.smeding@gmail.com 2019-03-19T19:34:19Z urn:sha1:fd5fe01514c28c26b33a49fd0bc6d0b070767575 Remove old parser 2019-03-10T17:53:43Z tomsmeding tom.smeding@gmail.com 2019-03-10T17:53:43Z urn:sha1:8384a1f7c01009ed125efee8e617da2da1f4b774 Enough to prove functoriality of Parser 2019-03-10T17:26:30Z tomsmeding tom.smeding@gmail.com 2019-03-10T17:26:30Z urn:sha1:48d6f83c36f55471ba66281e6d9b272fb4b336f2 Initial 2019-03-09T23:13:32Z tomsmeding tom.smeding@gmail.com 2019-03-09T23:13:32Z urn:sha1:34d9f21c6ab529e415f38a5a886b1b612bcbd3bc