search

Soonad / Moonad

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

Revert "Revert "Update ModelsId and Exports.TA"" #58

Closed MaisaMilena closed 4 years ago

MaisaMilena commented 4 years ago

Reverts moonad/Moonad#57