Search results

subst captures variables when substitution is with a bound variable

Status: Open.

#61 In lambdageek/unbound-generics;

· liesnikov opened on Nov 24, 2023

Help Wanted: Looking for co-maintainer

help wanted

Status: Open.

#55 In lambdageek/unbound-generics;

· lambdageek opened on Apr 26, 2023

unbind2Plus doesn't work with two different pattern types

bug

Status: Open.

#50 In lambdageek/unbound-generics;

· liesnikov opened on Oct 31, 2022

Allow name representations other than String

enhancement

requires-api-break

Status: Open.

#39 In lambdageek/unbound-generics;

· ocecaco opened on Aug 4, 2019

· 

Major Version Bump

Add <code>Read</code> instances for names and binder or how to derive it

enhancement

help wanted

question

Status: Open.

#38 In lambdageek/unbound-generics;

· ksenia-portu opened on Jul 5, 2019

Remove Show superclass on Alpha

requires-api-break

Status: Open.

#36 In lambdageek/unbound-generics;

· Jashweii opened on Apr 25, 2019

· 

Major Version Bump

Support for capturing substitution

Status: Open.

#31 In lambdageek/unbound-generics;

· TOTBWF opened on Aug 27, 2018

Borrow good ideas from moniker

enhancement

Status: Open.

#28 In lambdageek/unbound-generics;

· lambdageek opened on Aug 24, 2018

Unification function

question

Status: Open.

#19 In lambdageek/unbound-generics;

· Lysxia opened on Jul 7, 2017

Add <code>Hashable</code> instances for names and binder combinators

enhancement

Status: Open.

#14 In lambdageek/unbound-generics;

· lambdageek opened on Aug 1, 2015

Variant of <code>makeClosedAlpha</code> that works for type constructors.

enhancement

Status: Open.

#12 In lambdageek/unbound-generics;

· lambdageek opened on Apr 16, 2015

Some kind of local scope in pattern bindings

enhancement

Status: Open.

#8 In lambdageek/unbound-generics;

· lambdageek opened on Jan 10, 2015