kodept
| Crates.io | kodept |
| lib.rs | kodept |
| version | 0.2.3 |
| source | src |
| created_at | 2024-01-05 21:01:42.793528 |
| updated_at | 2024-08-10 20:25:59.083085 |
| description | Simple compiler with dependent types support in mind |
| homepage | |
| repository | https://github.com/ITesserakt/Kodept/ |
| max_upload_size | |
| id | 1090461 |
| size | 134,093 |
Владимир Никитин (ITesserakt)
documentation
README
Kodept
Simple compiler with dependent types support in mind