lucent
| Crates.io | lucent |
| lib.rs | lucent |
| version | 0.1.0 |
| source | src |
| created_at | 2023-03-25 01:18:48.669071 |
| updated_at | 2023-03-25 01:18:48.669071 |
| description | toy programming language based on the calculus of constructions |
| homepage | |
| repository | https://github.com/ast-ral/lucent/ |
| max_upload_size | |
| id | 819837 |
| size | 1,304 |
(ast-ral)