Update Docs - Githubissues

Soonad / Moonad

An upcoming operating system built on Type-Theory

43 stars 5 forks source link

Closed MaisaMilena closed 4 years ago

MaisaMilena commented 4 years ago

Add some examples used on moonad/Formality README

VictorTaelin commented 4 years ago

Bool.not is already defined on Bool itself. How is this passing the checks?

Edit: ah my bad, misread it.