search

Soonad / Moonad

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

fix redefinition of new in functor #109

Closed emturner closed 4 years ago

emturner commented 4 years ago

sorry - was running a slightly older version of fm which allowed this