joelberkeley/spidr

Add tagline to README summarising spidr

Closed this issue · 2 comments

joelberkeley commented

So that people coming across spidr know what it is, add a tagline/subtitle summarising it, for example

Accelerated numerical computing with dependent types

joelberkeley commented

should also update "About" on the top RHS