adding with-exports argument and replacing - names with $ - Githubissues

HigherOrderCO / Kind

A modern proof language

https://higherorderco.com

MIT License

3.59k stars 142 forks source link

adding with-exports argument and replacing - names with $ #609

Closed Lorenzobattistela closed 3 weeks ago