pigworker / OpenSigma

being an attempt to express dependently typed data models

Geek Repo

Github PK Tool