Search results

More readable output with portray_clause

Status: Open.

#23 In kyledewey/typed-prolog;

· maemre opened on May 22, 2018

Proper Test Suite Required

enhancement

Status: Open.

#21 In kyledewey/typed-prolog;

· kyledewey opened on Oct 16, 2017

Exponentiation Doesn't Guarantee int

bug

Status: Open.

#20 In kyledewey/typed-prolog;

· kyledewey opened on Dec 18, 2016

Add Support for Unary Minus

enhancement

Status: Open.

#19 In kyledewey/typed-prolog;

· kyledewey opened on Jun 14, 2016

Warnings for Singleton Variables Modulo Lambdas

bug

enhancement

Status: Open.

#17 In kyledewey/typed-prolog;

· kyledewey opened on Feb 19, 2016

Make relation a Reserved Word

bug

Status: Open.

#16 In kyledewey/typed-prolog;

· kyledewey opened on Feb 19, 2016

Module Rewriting is Unsound With Atoms

bug

Status: Open.

#9 In kyledewey/typed-prolog;

· kyledewey opened on Jul 29, 2015

Fix read_term Behavior

bug

Status: Open.

#8 In kyledewey/typed-prolog;

· kyledewey opened on Jul 27, 2015

Disallow Higher-Order Relations From Being Compared

bug

Status: Open.

#7 In kyledewey/typed-prolog;

· kyledewey opened on Jun 22, 2015

Treat First-Order Relations as Relation Types

enhancement

Status: Open.

#6 In kyledewey/typed-prolog;

· kyledewey opened on Apr 14, 2015

Make Lambda IDs Increasing

enhancement

Status: Open.

#3 In kyledewey/typed-prolog;

· kyledewey opened on Mar 30, 2015

Switch to GenSym

enhancement

Status: Open.

#2 In kyledewey/typed-prolog;

· kyledewey opened on Mar 30, 2015