search

pikelet-lang / pikelet

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
https://pikelet-lang.github.io/pikelet/
Apache License 2.0
610 stars 26 forks source link

Fix Typo in Universe Docs #183

Closed phase closed 5 years ago

brendanzab commented 5 years ago

Oh thanks! Appreciate it!