voile-rs icon indicating copy to clipboard operation
voile-rs copied to clipboard

Published 20 hours ago • verified publisher icon owo-lang
→

Metadata

Dependently-typed row-polymorphic programming language, evolved from minitt-rs

Results 2 voile-rs issues
Sort by recently updated
recently updated
newest added

Use TCE with stacktrace & pos-col instead of `unreachable!()`s

1 comment

Somehow better for debugging

ice1000 avatar ice1000

enhancement

Pair projection in surface language

1 comment

As title. It's surprisingly missing.

ice1000 avatar ice1000

parser

← Metadata

94
Stars
5
Forks
Watchers

Owner

verified publisher icon owo-lang

Metadata

Dependently-typed row-polymorphic programming language, evolved from minitt-rs

Back