search

Soonad / Moonad

An upcoming operating system built on Type-Theory
43 stars 5 forks source link

Update F64 #92

Closed MaisaMilena closed 4 years ago

MaisaMilena commented 4 years ago

Related to Update Moonad to Formality 0.4.12

Update to the new syntax of case

VictorTaelin commented 4 years ago

Not sure if we're going to implement open though, so just changing to get for now would be good.