search

Kleidukos / boreal

Other
13 stars 2 forks source link

Implement types with fieds #30

Closed Kleidukos closed 5 months ago

Kleidukos commented 5 months ago

We want to go beyond the simple sum type and have:

type V = V Int
Kleidukos commented 5 months ago

Let's force the user to make these records for the time being