Search results

Create an Infix predicate attribute

0.1 blocker

feature

Status: Open.

#29 In jbearer/hspl;

· jbearer opened on Dec 29, 2017

Allow first-class goals

0.1 blocker

feature

Status: Open.

#28 In jbearer/hspl;

· jbearer opened on Dec 18, 2017

Parameterize Ast.Predicate

refactor

Status: Open.

#22 In jbearer/hspl;

· jbearer opened on Sep 26, 2017

Create an efficient associative map.

feature

Status: Open.

#13 In jbearer/hspl;

· jbearer opened on Sep 10, 2017

Add a Sudoku solver as a benchmark.

Status: Open.

#12 In jbearer/hspl;

· jbearer opened on Sep 6, 2017

Handle terms without a Show instance without resorting to CPP.

refactor

Status: Open.

#10 In jbearer/hspl;

· jbearer opened on Sep 6, 2017

Improve type deduction for numeric types

feature

spike

Status: Open.

#9 In jbearer/hspl;

· jbearer opened on Sep 6, 2017