Popular repositories

1. term-rewriting term-rewriting Public

   Yet another haskell term rewriting library

   Haskell 17 6

2. union-find-array union-find-array Public

   ST based union find data structure

   Haskell 1 4

3. canonical-trs canonical-trs Public

   a tool for converting TRSs to canonical form

   Haskell 1

4. confluence-tool confluence-tool Public

   A simple confluence tool demonstrating the term-rewriting Haskell library.

   Haskell