hs-visinter, branch master Visualising interpreter for a subset of Haskell https://git.tomsmeding.com/hs-visinter/atom?h=master 2025-01-22T21:09:33Z Add TODO 2025-01-22T21:09:33Z Tom Smeding tom@tomsmeding.com 2025-01-22T21:09:33Z urn:sha1:8d5ddd9860f6ea65a6d87f415c75423797c8389c Report ambiguous type/kind uvars, don't crash 2025-01-21T22:36:09Z Tom Smeding tom@tomsmeding.com 2025-01-21T22:36:09Z urn:sha1:36a7da75d1772156760bdff1f171f8f1f5d7a3c9 Fix typo in parser 2025-01-21T22:35:16Z Tom Smeding tom@tomsmeding.com 2025-01-21T22:35:16Z urn:sha1:728c7f577228c1b1dab91c81f91cdfb9f59ec5bd lsp: Also typecheck 2025-01-21T22:35:01Z Tom Smeding tom@tomsmeding.com 2025-01-21T22:35:01Z urn:sha1:26895448c293abf51aa96c1f2bec1b6a241f730b 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 Improve FAlternative class 2024-04-10T16:26:34Z Tom Smeding t.j.smeding@uu.nl 2024-04-10T16:26:34Z urn:sha1:b601561e38884d6f729c3a86eb0ec4445aea6155 typechecker 2024-03-25T21:30:33Z Tom Smeding tom@tomsmeding.com 2024-03-25T21:30:33Z urn:sha1:5014c402e63e882567bb8759cad5cbf61db1e11f WIP 2024-03-24T16:07:06Z Tom Smeding tom@tomsmeding.com 2024-03-24T16:07:06Z urn:sha1:5ec984da477375794f31b6484b929c21046c6849 Partially working type checker 2024-03-24T10:19:48Z Tom Smeding tom@tomsmeding.com 2024-03-24T10:19:48Z urn:sha1:2de6cede93912457babc79bcb0f58c9e6b20f05a