This repository has been archived by the owner on Jun 14, 2018. It is now read-only.

Rethink usage of sized types #3

Open

jstolarek opened this issue Jan 9, 2014 · 0 comments

Labels

Owner

jstolarek commented Jan 9, 2014

Should I use them everywhere consistently or only when termination checker can't manage without sized types?

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.