aya-prover/aya-dev

We should use `enum X { Obj; }` for singletons!

ice1000 opened this issue · 1 comments

This sounds like the best way of using singletons in Java

That sounds nice