imdea-software/htt

Update README.md

germanD opened this issue 5 years ago · 0 comments

germanD commented 5 years ago

The README.md is missing:

A better description of HTT,
a pointer to HTT publications and/or,
a pointer to Aleks @aleksnanevski's old website:

http://software.imdea.org/~aleks/htt/

Alternatively, we could replace Aleks website stub with a github.io-based website for the project.