逻辑基础：部分原文未作翻译？

[Hagb]

如

SF-zh/lf-current/Basics.html

Lines 567 to 573 in e1f470b

	A single constructor with multiple parameters can be used
	to create a tuple type. As an example, consider representing
	the four bits in a nybble (half a byte). We first define
	a datatype <span class="inlinecode"><span class="id" title="var">bit</span></span> that resembles <span class="inlinecode"><span class="id" title="var">bool</span></span> (using the
	constructors <span class="inlinecode"><span class="id" title="var">B<sub>0</sub></span></span> and <span class="inlinecode"><span class="id" title="var">B<sub>1</sub></span></span> for the two possible bit values)
	and then define the datatype <span class="inlinecode"><span class="id" title="var">nybble</span></span>, which is essentially
	a tuple of four bits.

请问这部分是暂未翻译还是不作翻译呢？

[liyishuai]

英文版更新频繁，有些内容尚未翻译，敬请静候。