unification-fd icon indicating copy to clipboard operation
unification-fd copied to clipboard

Published 20 hours ago • verified publisher icon wrengr

Merge forks

Open wrengr opened this issue 2 years ago • 0 comments

There are currently a few forks to consider merging in:

  • https://github.com/ajrouvoet/unification.hs (2 ahead)
  • https://github.com/lortabac/unification-fd (7 ahead)
  • https://github.com/UnkindPartition/unification-fd (2 ahead); but cf the PR first

wrengr avatar Oct 18 '21 00:10 wrengr