Closed chenglou closed 8 years ago
"reason-under-the-hood" might be better. "getting-started-with-reason" implies this is what we want newcomers to try. This isn't; it's a walkthrough of the underlying compilation & tooling.
Fixed.
chenglou
commented
8 years ago
"reason-under-the-hood" might be better. "getting-started-with-reason" implies this is what we want newcomers to try. This isn't; it's a walkthrough of the underlying compilation & tooling.