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 |