search

Whiley / WhileyDocs

Various documents relating to the Whiley Programming Language.
7 stars 2 forks source link

Fix a few things Getting Started #10

Closed Sh4rK closed 10 years ago

DavePearce commented 10 years ago

Hi Antal,

Thanks, and well spotted!!!

Dave