polyhorn-style
| Crates.io | polyhorn-style |
| lib.rs | polyhorn-style |
| version | 0.1.0 |
| source | src |
| created_at | 2020-09-25 09:14:06.324309 |
| updated_at | 2020-09-25 09:14:06.324309 |
| description | Shared types for Polyhorn style. |
| homepage | |
| repository | https://github.com/polyhorn/polyhorn/tree/crates/polyhorn-style |
| max_upload_size | |
| id | 292777 |
| size | 12,057 |
Tim (cutsoy)