metals-poly 0.1.1

Poly library provides the interface and interface type abstractions that form the foundations of the meta programming in Metals
Documentation