voile-0.0.12
This release has been yanked
Platform
Feature flags

Rust

voile 0.0.12

Voile, a dependently-typed extensible programming language

Crate
Source
Builds
Feature flags

..
generate.sh
icon.svg
install-windows.bat
katex-header.html
voile-librarian.png

@echo off
cargo update
cargo install --path . --bin voilec --force