voile-util
| Crates.io | voile-util |
| lib.rs | voile-util |
| version | 0.2.2 |
| source | src |
| created_at | 2019-09-04 04:20:14.573706+00 |
| updated_at | 2019-12-01 18:08:53.905066+00 |
| description | Utilities extracted from Voile language's type-checker |
| homepage | |
| repository | https://github.com/owo-lang/voile-rs |
| max_upload_size | |
| id | 162060 |
| size | 30,134 |
Tesla Zhang‮ (ice1000)
documentation
https://docs.rs/voile-util
README
Voile's utilities
This is a crate extracted from Voile to help the development of other dependently-typed lambda calculus type checkers.
It contains helper functions for the Pest parser
(supported via optional feature parser),
a non-empty vector, some location utils, a unique-ID type with utils,
a lisp parser for term generation,
and universe level utilities (with omega type as the maximum universe).