Type programming game

[Basile B.]

On Wednesday, 14 October 2020 at 11:14:34 UTC, Stefan Koch wrote:
> On Wednesday, 14 October 2020 at 00:11:37 UTC, claptrap wrote:
>> On Tuesday, 13 October 2020 at 14:43:23 UTC, Stefan Koch wrote:
>>> On Monday, 12 October 2020 at 14:04:56 UTC, claptrap wrote:
>>> I fixed your version to work around the bugs in type 
>>> functions.
>>> [...]
>> Yeah not as concise as it could be, but I assume eventually 
>> type[idx] will work outside assign expressions?
>
> Yes of course.

So what's up with the benchmark you mentioned ? With four entries 
+ your TF version we can have a podium now.