Search results

Define useful data types

Status: Open.

#11 In mschuwalow/ratz;

· mschuwalow opened on Dec 6, 2022

· 

0.1 Release

Define Instances for common types

Status: Open.

#10 In mschuwalow/ratz;

· mschuwalow opened on Dec 6, 2022

· 

0.1 Release

Expand on the typeclass hierarchy

Status: Open.

#9 In mschuwalow/ratz;

· mschuwalow opened on Dec 6, 2022

· 

0.1 Release

Improve CI setup

Status: Open.

#8 In mschuwalow/ratz;

· mschuwalow opened on Dec 6, 2022

· 

0.1 Release

Figure out how we want to encode laws

Status: Open.

#7 In mschuwalow/ratz;

· mschuwalow opened on Dec 6, 2022

· 

0.1 Release