Snippets tagged #dependent types
-
phantom types for dependent types; sized list; less than
Using phantom types to emulate simple dependent types and sized list. Inspired by: https://www.seas.upenn.edu/~sweirich/cis670/09/
6 people like this
Like the snippet!Posted: 3 years ago by Vankata