Search results

Why does new_op and new_var take optional args

Status: Open.

#47 In joshrule/term-rewriting-rs;

· WalterSmuts opened on Mar 5, 2025

Getting all outcomes of a Trace

Status: Open.

#46 In joshrule/term-rewriting-rs;

· zbjornson opened on Dec 8, 2021

Refactor <code>Signature</code> to work with arity, HM types, etc.

Status: Open.

#43 In joshrule/term-rewriting-rs;

· joshrule opened on Feb 11, 2019

Is trace really an iterator?

Status: Open.

#42 In joshrule/term-rewriting-rs;

· joshrule opened on Feb 11, 2019

Abstract out the idea of a term

enhancementNew feature or requestNew feature or request

Status: Open.

#40 In joshrule/term-rewriting-rs;

· joshrule opened on Sep 28, 2018

Add "Why Term Rewriting" section to README

enhancementNew feature or requestNew feature or request

Status: Open.

#39 In joshrule/term-rewriting-rs;

· joshrule opened on Sep 28, 2018

functions to query signature for constant and non-constant operators

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#38 In joshrule/term-rewriting-rs;

· joshrule opened on Sep 28, 2018

update pretty printing to work for both applicative and non-applicative special cases

enhancementNew feature or requestNew feature or request

Status: Open.

#37 In joshrule/term-rewriting-rs;

· joshrule opened on Sep 28, 2018

make signatures transactional

enhancementNew feature or requestNew feature or request

Status: Open.

#36 In joshrule/term-rewriting-rs;

· joshrule opened on Sep 28, 2018

add standard library

Status: Open.

#35 In joshrule/term-rewriting-rs;

· joshrule opened on Sep 28, 2018

add evaluation binary

enhancementNew feature or requestNew feature or request

Status: Open.

#34 In joshrule/term-rewriting-rs;

· joshrule opened on Sep 28, 2018

Add macros for term creation

enhancementNew feature or requestNew feature or request

Status: Open.

#33 In joshrule/term-rewriting-rs;

· joshrule opened on Sep 28, 2018