changeset | fa2019a63ea4 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Basis.list |
files |
changeset | 5819fb63c93a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Effectness analysis |
files |
changeset | 230654093b51 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | demo/hello compiles with kind polymorphism |
files |
changeset | 71bafe66dbe1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Laconic -> Ur |
files |
changeset | 8a70e2919e86 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Specialization of single-parameter datatypes |
files |
changeset | f0d3402184d1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Simple forms work |
files |
changeset | bc7b76ca57e0 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Conversion to Core |
files |