mangle-analysis
| Crates.io | mangle-analysis |
| lib.rs | mangle-analysis |
| version | 0.1.1 |
| created_at | 2024-06-11 20:50:36.079875+00 |
| updated_at | 2024-07-25 09:39:08.745766+00 |
| description | Rust implementation of Mangle, a logic programming language |
| homepage | https://github.com/google/mangle |
| repository | https://github.com/google/mangle |
| max_upload_size | |
| id | 1268898 |
| size | 18,361 |
Burak Emir (burakemir)
documentation
https://github.com/google/mangle
README
mangle_analysis
This package is part of the Mangle logic programming language. It contains code related to semantic analysis (name resolution, type inference and type-checking).
See https://github.com/google/mangle for more information about Mangle.