hs-visinter/src/HSVIS/Typecheck, branch master Visualising interpreter for a subset of Haskell https://git.tomsmeding.com/hs-visinter/atom?h=master 2025-01-21T22:36:09Z 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 Noodling on the type checker 2025-01-19T21:46:39Z Tom Smeding tom@tomsmeding.com 2025-01-19T21:46:39Z urn:sha1:c7619a27f841d24b5acb4c99ed486e95bd5130d8 Working kind inference 2024-03-22T20:56:35Z Tom Smeding tom@tomsmeding.com 2024-03-22T20:56:35Z urn:sha1:909b7a4eacaba7323ac44f7950e60e8956e4081c Typecheck work; solver is incorrect 2024-03-17T22:08:52Z Tom Smeding tom@tomsmeding.com 2024-03-17T22:08:38Z urn:sha1:cc61cdc000481f9dc88253342c328bdb99d048a4 Some typechecker work 2024-03-14T22:21:53Z Tom Smeding tom@tomsmeding.com 2024-03-14T22:21:53Z urn:sha1:e7bed242ba52e6d3233928f2c6189e701cfa5e4c