search

Soonad / Moonad

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

Use Newtype for U16, U32 and U64 #55

Closed neocastro closed 4 years ago

neocastro commented 4 years ago

Implements #50