Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• bc7565a1f7 Merge branch 'master' of githug.xyz:depsterr/hm master depsterr 2023-01-25 21:39:07 +0100
• 4d940fb59b precedence levels depsterr 2023-01-25 21:38:45 +0100
• b44ffb282a update readme a bit depsterr 2022-05-03 22:16:46 +0200
• 7fcd27aafd fixed loop in anti loop detection depsterr 2022-03-01 18:10:18 +0100
• 47411226ac added positivity check depsterr 2022-01-31 16:14:47 +0100
• b8336ed81d added detection for mutual recursion depsterr 2022-01-29 14:01:25 +0100
• cf55e12391 hm.cf: remove redundant comment depsterr 2022-01-29 00:13:01 +0100
• c58327ed98 added '\' for 'λ' and '->' for '→' depsterr 2022-01-28 22:56:03 +0100
• 0c347709f0 fixed test up a bit depsterr 2022-01-28 21:25:16 +0100
• 8ff60cc5db able to typecheck files ! depsterr 2022-01-28 20:50:02 +0100
• c3780abfd1 fix issue with let after switching to generation/solver model depsterr 2022-01-28 14:17:10 +0100
• 687b65cd4e move to constrain generation -> solving model. TODO: move code between modules, clean up depsterr 2022-01-28 13:46:42 +0100
• 413f7d3a21 handle application as list depsterr 2022-01-26 19:05:15 +0100
• 6499987dd8 readme.md: added some info on current state of the project depsterr 2022-01-25 21:01:52 +0100
• d3f9de1f05 it can now infer the type of some expressions depsterr 2022-01-25 21:00:12 +0100
• 748d15d9f7 I did a lot depsterr 2022-01-24 20:58:00 +0100
• e7160485b6 only rebuild grammar when source has been modified depsterr 2022-01-23 13:58:15 +0100
• c25ca6c0cb Setup.hs: fixed issue if source already existed depsterr 2022-01-23 13:47:30 +0100
• 6fc30272aa setup build system properly depsterr 2022-01-23 13:43:50 +0100
• f0c44b9477 added some build stuff depsterr 2022-01-23 12:52:33 +0100
• a55ff128af added a TODO with some resources depsterr 2022-01-23 12:00:17 +0100
• f04fc5c4c7 :) depsterr 2022-01-20 21:14:03 +0100
• 9fbb930c38 created complete grammar depsterr 2022-01-20 21:05:25 +0100