search

Whiley / WhileyDocs

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

Possible typo in Getting Started #1

Closed Sh4rK closed 9 years ago

Sh4rK commented 10 years ago

Hi,

I think that in 3.2 Recursive Types, "abstract data types" should be "algebraic data types".

DavePearce commented 10 years ago

Hey Sh4rK,

Yes, agreed. I've fixed that and pushed it up --- thanks!!!

Dave