search

owo-lang / voile-rs

Dependently-typed row-polymorphic programming language, evolved from minitt-rs
Apache License 2.0
95 stars 5 forks source link

[ doc ] add `noscript` #173

Closed zaoqi closed 5 years ago

zaoqi commented 5 years ago

fix #172

ice1000 commented 5 years ago

Thanks!