Commit Graph

30 Commits

Author SHA1 Message Date
Frédéric Bour 910337e0a6 WIP GADT support 2023-07-28 21:02:17 +09:00
Frédéric Bour ff9895de81 Cleanup: remove dead code (old end_level / cast) 2023-07-28 21:01:12 +09:00
Frédéric Bour c37e17c8a6 commute_typ -> escape_typ 2023-07-28 20:59:54 +09:00
Frédéric Bour b81715d2e7 Cleanup: get rid of transport 2023-07-28 20:58:57 +09:00
Frédéric Bour 7e68fd1fec Cleanup 2023-07-28 20:57:08 +09:00
Frédéric Bour 78c0385df8 Add smallest_world 2023-07-28 20:56:55 +09:00
Frédéric Bour 3e745db034 Tweaks 2023-07-26 14:39:37 +09:00
Frédéric Bour af79c3297c Prepare presentation 2023-07-26 14:22:20 +09:00
Frédéric Bour 1ce78cfb93 Update hm_base to better follow hm_strong 2023-07-26 11:08:40 +09:00
Frédéric Bour 9aad73fdd4 Minor simplification 2023-07-26 11:08:31 +09:00
Frédéric Bour 90e7a8a30b Refactor "Transport"
... maybe get rid of it later?!
2023-07-26 10:06:57 +09:00
Frédéric Bour 50ea9a6b2f WIP Strongenv presentation 2023-07-26 09:38:55 +09:00
Frédéric Bour 6485bf545d Add top-level "strongenv" module 2023-07-17 10:38:56 +09:00
Frédéric Bour c6519456b5 Prepare for release 2023-07-17 10:21:40 +09:00
Frédéric Bour d578c5698d Generate opam file ¯\_(ツ)_/¯ 2023-07-17 10:08:58 +09:00
Frédéric Bour eee4c49cd1 Fix: Dbseq.add -> Dbseq.cons 2023-07-17 09:53:44 +09:00
Frédéric Bour ab0a727f29 Module system is orthogonal to strongenv 2020-12-29 10:49:47 +01:00
Frédéric Bour 5ee551b5fc Cleanup 2020-12-28 11:57:06 +01:00
Frédéric Bour 5c6befa536 wip: test_hm_strong_abs
Hindler milner type inference with:
- well-formed environment (strong env)
- well-typed terms (WIP)
2020-06-03 11:34:32 +02:00
Frédéric Bour 561522a6e4 Port tests to "index-free" API 2020-06-03 09:51:28 +02:00
Frédéric Bour f7cef097a6 World.v_weak -> World.v 2020-06-03 09:17:12 +02:00
Frédéric Bour b4609aafbc World.v -> World.v_strong 2020-06-03 09:14:17 +02:00
Frédéric Bour f1c47d82ce Use Dbseq to implement bindings lookup 2020-04-27 22:35:30 +02:00
Frédéric Bour 7afa2d842c Experiment: remove names from Flat 2020-04-27 22:20:57 +02:00
Frédéric Bour 8f25c64ccc update tests 2020-04-27 17:27:04 +02:00
Frédéric Bour 6455d0a566 Implement HM example 2020-04-27 17:22:28 +02:00
Frédéric Bour 25a2efebec add HM wip 2020-04-24 18:31:12 +02:00
Frédéric Bour cf4141a130 working systemf example 2020-04-24 18:30:42 +02:00
Frédéric Bour ad876eaedd import 2020-04-24 10:02:32 +02:00
Frédéric Bour c22a009ed6 Initial commit 2020-04-24 09:56:50 +02:00