quangv / hkt-ts

A Higher-Kinded-Types encoding for TypeScript, based on the static-land specification.

Geek Repo

Github PK Tool