Persistent LiquidHaskell Server To Enable Fast Interactive/Incremental Checking - View it on GitHub