mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-01-25 05:31:57 +01:00
Merge pull request #510 from phadej/lattices-edit-distance
Add edit-distance and lattice
This commit is contained in:
commit
0ceb0dd45e
@ -748,6 +748,8 @@ packages:
|
|||||||
- string-conversions
|
- string-conversions
|
||||||
|
|
||||||
"Oleg Grenrus oleg.grenrus@iki.fi @phadej":
|
"Oleg Grenrus oleg.grenrus@iki.fi @phadej":
|
||||||
|
- edit-distance
|
||||||
|
- lattices
|
||||||
- waitra
|
- waitra
|
||||||
|
|
||||||
"Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
|
"Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user