hs-visinter/examples, branch master Visualising interpreter for a subset of Haskell https://git.tomsmeding.com/hs-visinter/atom?h=master 2025-01-19T21:46:39Z Noodling on the type checker 2025-01-19T21:46:39Z Tom Smeding tom@tomsmeding.com 2025-01-19T21:46:39Z urn:sha1:c7619a27f841d24b5acb4c99ed486e95bd5130d8 Add a stupid future test case 2024-08-29T21:03:20Z Tom Smeding tom@tomsmeding.com 2024-08-29T21:03:10Z urn:sha1:e13b0a681108697f8b67d8c836edd54c042aad55 Typecheck work; solver is incorrect 2024-03-17T22:08:52Z Tom Smeding tom@tomsmeding.com 2024-03-17T22:08:38Z urn:sha1:cc61cdc000481f9dc88253342c328bdb99d048a4 Show source line in parse error 2024-02-19T22:32:09Z Tom Smeding tom@tomsmeding.com 2024-02-19T22:32:09Z urn:sha1:b0c81ee7def783037b514af9fdeab06f7e3bdb13 Seems like a working parser 2024-02-19T22:21:49Z Tom Smeding tom@tomsmeding.com 2024-02-19T22:21:49Z urn:sha1:91b62660cd522ce59ba1294eb2e6582e92f0a264 Parser work 2024-02-18T16:15:50Z Tom Smeding tom@tomsmeding.com 2024-02-18T16:14:11Z urn:sha1:78ffb5ed5fbda230675310b37f798c500a13ef11 Lots of parser work 2024-02-17T11:04:53Z Tom Smeding tom@tomsmeding.com 2024-02-17T11:04:53Z urn:sha1:720372e3deac26a064fb1c711db2ccf54e655fab Parse basic ADTs, and fix bugs 2024-02-13T21:51:57Z Tom Smeding tom@tomsmeding.com 2024-02-13T21:51:57Z urn:sha1:3ef786673ff8298124cd3b5ef50c35dbb23f77e2