polyhorn-core
| Crates.io | polyhorn-core |
| lib.rs | polyhorn-core |
| version | 0.4.0 |
| source | src |
| created_at | 2020-09-25 09:10:38.170061 |
| updated_at | 2020-12-02 23:38:12.488569 |
| description | Core types used in Polyhorn. |
| homepage | |
| repository | https://github.com/polyhorn/polyhorn/tree/crates/polyhorn-core |
| max_upload_size | |
| id | 292773 |
| size | 55,274 |
Tim (cutsoy)