Skip to content

Add Kind information to explicitly bound type variables

Kai Prott requested to merge typevars-with-kinds into master

Depends on curry-base!15 (merged)

Edited by Kai Prott

Merge request reports