[DNM] branch: cases-tyck

owo-lang / voile-rs

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

Apache License 2.0

95 stars 5 forks source link

Closed owo-bot closed 5 years ago

owo-bot commented 5 years ago

Meow\~ This pull-request is created automatically by @owo-bot.

Related issues detected: #159

Created by @ice1000 from Telegram.

ice1000 commented 5 years ago

Is this implementation correct?