verify-hs, 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 test.txt: Add apply and pure 2019-04-09T21:36:56Z Tom Smeding tom.smeding@gmail.com 2019-04-09T21:36:56Z urn:sha1:8a3653d8f30f7d0f79556f464ea781472a931b2e 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 Fix warnings in Pretty 2019-04-08T20:24:35Z Tom Smeding tom.smeding@gmail.com 2019-04-08T20:24:35Z urn:sha1:04cf7ed628e840839e08f0d3c7e624200ded81b3 Slightly better pretty printing 2019-03-19T19:34:19Z Tom Smeding tom.smeding@gmail.com 2019-03-19T19:34:19Z urn:sha1:fd5fe01514c28c26b33a49fd0bc6d0b070767575 Add 'help' 2019-03-10T18:51:18Z tomsmeding tom.smeding@gmail.com 2019-03-10T18:51:18Z urn:sha1:3bb58fdc2854aa52826fd1d5f8786c0151518672 Remove 'forget' 2019-03-10T18:51:11Z tomsmeding tom.smeding@gmail.com 2019-03-10T18:51:11Z urn:sha1:38b838eeb2bc9c150883b3f5e7f215697943296b