[slaymaker1907]

I think it is technically a dependent type system, but not in the same way as say Coq or Idris.