changeset | c1e21ab42896 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Explify cfold |
files |
changeset | 9f89f0b00b84 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Elaborating cfold |
files |
changeset | d609820c5834 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Proper hiding of shadowed bindings in principal signatures |
files |
changeset | abb2b32c19fb |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Subsignatures |
files |
changeset | 0a5c312de09a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Start of FFI |
files |
changeset | 3c1ce1b4eb3d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Explifying functors |
files |
changeset | a9f3ce2d1b9b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Elaborating functor applications |
files |
changeset | b3fbbc6cb1e5 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Elaborating 'where' |
files |
changeset | 1405d8c26790 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Beginning of functor elaboration |
files |
changeset | d16ef24de78b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Explify |
files |