voile-util

Crates.iovoile-util
lib.rsvoile-util
version0.2.2
sourcesrc
created_at2019-09-04 04:20:14.573706+00
updated_at2019-12-01 18:08:53.905066+00
descriptionUtilities extracted from Voile language's type-checker
homepage
repositoryhttps://github.com/owo-lang/voile-rs
max_upload_size
id162060
size30,134
Tesla Zhang‮ (ice1000)

documentation

https://docs.rs/voile-util

README

Voile's utilities

Crates.io Crates.io Crates.io docs.rs

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

Commit count: 573

cargo fmt