Simon Forman a66fd8d173 Finally remove all mentions of the old polytypes module. ...

It was merged with types long ago.

2020-04-25 15:59:31 -07:00

..

joy

Finally remove all mentions of the old polytypes module.

2020-04-25 15:59:31 -07:00

index.html

Rebuilt some docs. Minor edits.

2020-04-24 16:10:28 -07:00