Search results

Providing proofs for rewrite rules

Status: Open.

#34 In gelisam/typelevel-rewrite-rules;

· amigalemming opened on Jan 24, 2023

Rewrite rules for constraints

Status: Open.

#33 In gelisam/typelevel-rewrite-rules;

· amigalemming opened on Jan 24, 2023

"Propagate the constraints" works for recursive examples, contrary to README

Status: Open.

#32 In gelisam/typelevel-rewrite-rules;

· adamgundry opened on Jan 30, 2022

Allow multiple rules to be specified at once

enhancementNew feature or requestNew feature or request

Status: Open.

#26 In gelisam/typelevel-rewrite-rules;

· gelisam opened on Jan 2, 2021

don't backtrack

enhancementNew feature or requestNew feature or request

Status: Open.

#24 In gelisam/typelevel-rewrite-rules;

· gelisam opened on Dec 30, 2020

rewrite Given and Derived constraints too

enhancementNew feature or requestNew feature or request

Status: Open.

#7 In gelisam/typelevel-rewrite-rules;

· gelisam opened on Jun 13, 2020

Matching

Status: Open.

#3 In gelisam/typelevel-rewrite-rules;

· augustss opened on May 29, 2020