4 ms·I think it is technically a dependent type system, but not in the same way as say Coq or Idris.by slaymaker1907 4y agoI think it is technically a dependent type system, but not in the same way as say Coq or Idris.