HigherOrderCO / Kind

A modern proof language
https://higherorderco.com
MIT License
3.55k stars 141 forks source link

Write a minimal type system to erase specifications #536

Closed aripiprazole closed 2 months ago

aripiprazole commented 1 year ago

Today in kind we need to specify in do IO a { ... }, the goal of this type system is to infer the IO a