This repository was archived by the owner on Nov 8, 2024. It is now read-only.

Maintenance Release: Super Types

pksunkara released this 10 Apr 19:25

· 194 commits to master since this release

c0b0e8b

This release checks for the existentiality of all the super types, be it for named types or members of a type.

Assets 2