kodept
| Crates.io | kodept |
| lib.rs | kodept |
| version | 0.2.1 |
| source | src |
| created_at | 2024-01-05 21:01:42.793528 |
| updated_at | 2024-07-13 11:16:16.716415 |
| description | Simple compiler with dependent types support in mind |
| homepage | |
| repository | https://github.com/ITesserakt/Kodept/ |
| max_upload_size | |
| id | 1090461 |
| size | 1,221,087 |
Владимир Никитин (ITesserakt)
documentation
README
Kodept
Simple compiler with dependent types support in mind