Search results

GHC 9.4.4; can't generate haddock

help wanted

Status: Open.

#28 In LeventErkok/sbvPlugin;

· LeventErkok opened on Jan 13, 2023

Rewrite the plugin using lambda-ccc

Status: Open.

#22 In LeventErkok/sbvPlugin;

· LeventErkok opened on Jul 5, 2017

Current issues of the plugin

Status: Open.

#21 In LeventErkok/sbvPlugin;

· LeventErkok opened on Apr 18, 2017

Add the ability to ask for satisfying variables, not just counterexamples

Status: Open.

#20 In LeventErkok/sbvPlugin;

· thoughtpolice opened on Apr 18, 2017

Accessing definitions in other modules

Status: Open.

#15 In LeventErkok/sbvPlugin;

· LeventErkok opened on Dec 22, 2015

Unexported bindings

Status: Open.

#1 In LeventErkok/sbvPlugin;

· LeventErkok opened on Nov 25, 2015