what is the dependent type
What are dependent types? A dependent type is a type that depends on a value. For example [code]Vec 2 Int[/code] might mean a list of precisely two integers - no more than two integers, and no less. However, the value need not be an explicitly given constant, of course - ...