Search results

Expressing PostgreSQL functions via Sqlite

Status: Open.

#164 In TyGuS/hoogle_plus;

· yaitskov opened on May 23, 2022

How can I use Char value in example?

Status: Open.

#162 In TyGuS/hoogle_plus;

· masaomi-yamaguchi opened on Apr 11, 2021

How to specify examples on CLI mode?

Status: Open.

#161 In TyGuS/hoogle_plus;

· masaomi-yamaguchi opened on Mar 30, 2021

Any concrete example of 'hplus generate -f <file>'?

Status: Open.

#160 In TyGuS/hoogle_plus;

· Dev-XYS opened on Mar 29, 2021

Incorrect number of arguments on the front end

Status: Open.

#156 In TyGuS/hoogle_plus;

· mistzzt opened on Jul 29, 2020

Move datatype and documentation to hover over result subexpression

Status: Open.

#101 In TyGuS/hoogle_plus;

· peleghila opened on Mar 17, 2020

When adding an example, indicate whether existing search results pass it

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

Status: Open.

#100 In TyGuS/hoogle_plus;

· peleghila opened on Mar 17, 2020

web todo: styling nitpicks

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#77 In TyGuS/hoogle_plus;

· michaelbjames opened on Mar 11, 2020

web todo: typecheck inputs

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#68 In TyGuS/hoogle_plus;

· michaelbjames opened on Feb 28, 2020

web todo: show tooltips for code

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#67 In TyGuS/hoogle_plus;

· michaelbjames opened on Feb 25, 2020

Add exclude/retain specifications

Status: Open.

#52 In TyGuS/hoogle_plus;

· nadia-polikarpova opened on Dec 11, 2019

Pretty-printing type signatures

good first issueGood for newcomersGood for newcomers

Status: Open.

#45 In TyGuS/hoogle_plus;

· nadia-polikarpova opened on Dec 11, 2019