Skip to content

Make the no-liquid configuration independent from LiquidHaskell libraries and Z3 #19

@ulysses4ever

Description

@ulysses4ever

It'd look better in the paper, and we could ship it to Hackage and make people use it one day.

This is not urgent.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions