atennapel / tinka-hsLinks

Dependently typed programming language written in Haskell
22Updated 3 years ago

Alternatives and similar repositories for tinka-hs

Users that are interested in tinka-hs are comparing it to the libraries listed below

Sorting: