changeset | e97c6d335869 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Simple elaboration working |
files |
changeset | 38bf996e1c2e |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Check for leftover kind unifs |
files |
changeset | 64f09f7822c3 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Start of elaboration |
files |