Revert "Update ModelsId and Exports.TA" - Githubissues

Soonad / Moonad

An upcoming operating system built on Type-Theory

43 stars 5 forks source link

Revert "Update ModelsId and Exports.TA" #57

Closed MaisaMilena closed 4 years ago

MaisaMilena commented 4 years ago

Reverts moonad/Moonad#56

Due to changes in PR#55 something went wrong here.