Welcome to diamond-types Discussions!

[josephg]

Hi everyone!

This is a space for general discussions about how to use diamond types, integrations with other projects, and general Q&A. This exists to preserve the issue tracker for bugs or feature requests in the code itself.

[zxch3n]

I love this project! Learned a lot from the source code. When will it be ready for production use? What features will it support?

[BctfN0HUK7Yg]

Wow. Very intresting project