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 |
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).