liquid-types

Here are 2 public repositories matching this topic...

Refinement type checker for Java with liquid types and typestates - catch bugs at compile time

Code examples demonstrating LiquidJava refinement types and typestate verification

Add a description, image, and links to the liquid-types topic page so that developers can more easily learn about it.

To associate your repository with the liquid-types topic, visit your repo's landing page and select "manage topics."