bobbbay / dinwiddy

Dependently typed N-dimensional array type signatures for Idris (2).

Geek Repo

Github PK Tool