Closed topological-modular-forms closed 4 months ago
still not quite there yet
Closed in favor of issue #25
still not quite there yet