diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-02-22 16:10:25 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-02-22 16:10:25 -0500 |
commit | ef4284bc3cf37e2f32ae2faddf07b4b8ed01ddac (patch) | |
tree | 7f9fc4189681a0186e8ecbfcc84a0eec50d03be9 /src/expl_util.sig | |
parent | fdff38cbee53e566859c55bf9a9410396a3a00ab (diff) |
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
Diffstat (limited to 'src/expl_util.sig')
0 files changed, 0 insertions, 0 deletions