Search results

Need some guidance / documentation

Status: Open.

#25 In dorchard/type-level-sets;

· ddssff opened on Feb 14, 2020

Type level Sum/Variant

Status: Open.

#21 In dorchard/type-level-sets;

· xal-0 opened on May 23, 2019

Compilation performance

Status: Open.

#17 In dorchard/type-level-sets;

· etorreborre opened on Jun 1, 2018

Alphabetical sort for <code>Cmp</code> instance

Status: Open.

#16 In dorchard/type-level-sets;

· etorreborre opened on Jun 1, 2018

How to simplify signatures?

Status: Open.

#14 In dorchard/type-level-sets;

· ivanperez-keera opened on Mar 11, 2018

Multisets

Status: Open.

#13 In dorchard/type-level-sets;

· ivanperez-keera opened on Mar 11, 2018

Why does the Eq instance of Map involve comparing the key?

Status: Open.

#11 In dorchard/type-level-sets;

· jchia opened on Feb 27, 2018

set order comparison

Status: Open.

#5 In dorchard/type-level-sets;

· joeyh opened on Mar 17, 2016