search

silt-lang / silt

An in-progress fast, dependently typed, functional programming language implemented in Swift.
MIT License
240 stars 13 forks source link

[WIP] Type Lowering #119

Closed CodaFi closed 6 years ago

CodaFi commented 6 years ago

What's in this pull request?

The start of type lowering and some minor pattern consistency fixes that came out as well. Though this is still a work in progress, Harlan needs this to start working on the inner core.

CodaFi commented 6 years ago

macOS backlog is 150 builds deep and this passed Linux

⛵️