[bitc-dev] Correction

[Swaroop Sridhar]

Sandro Magi wrote:
> Section 3.2 of the language spec:
> http://bitc-lang.org/docs/bitc/spec.html
> 
> "The quad type is an extended precision floating point type iwth ..."
> 
> Should be 'with'.
>
> Section 8.3 of BitC spec:
> 
> "It is customary for programs that introduce ``collection'' types to 
> provide both operations for both insertion and lookup."
> 
> Redundant use of "both"; "provide operations for both insertion and 
> lookup" is probably the clearest.

Thanks for the noting the corrections. I have made a commit with both
the changes. It should shortly propagate to the website.

Thanks,
Swaroop.