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 |
Simple compiler with dependent types support in mind