All Versions
17
Latest Version
Avg Release Cycle
219 days
Latest Release
1646 days ago
Changelog History
Page 2
Changelog History
Page 2
-
v0.1.1 Changes
- ➕ Added
isNullDisjointSet
function. - Implement a TH
makeClosedAlpha
splice for constructing trivial leaf instances.
- ➕ Added
-
v0.1 Changes
March 10, 2015➕ Add
acompare
functiona andacompare'
method toAlpha
typeclass. (christiaanb)Handwritten
Alpha
instances will need to define this additional method now. Major version bump.
-
v0.0.3 Changes
March 10, 2015- ➕ Add 'name2Integer' method (christiaanb)
Export internal type-directed
gaeq
,gopen
,gclose
, etc functions fromUnbound.Generics.LocallyNameless.Alpha
.Allows definitions like:
instance Alpha Term where aeq' _ (Prim t1 _dk1) (Prim t2 _dk2) = t1 == t2 aeq' c t1 t2 = gaeq c (from t1) (from t2)
-
v0.0.2 Changes
➕ Add 'Rec' pattern and 'TRec' term combinators.
Alpha instance for '()'
-
v0.0.2.1 Changes
February 12, 2015- Unconditionally add ErrorT and ExceptT instances using transformers-compat (bergmark)
-
v0.0.1 Changes
➕ Add 'lunbind2' function.
⚡️ Doc updates.
✅ Switch from 'HUnit' to 'Tasty' for testing.
-
v0.0.0.90 Changes
- 🎉 Initial (re-)implementation effort.