"modern" haskell implementation of the algorithm described in the paper of the same name.

Updated 5 months ago

Updated 5 months ago

the sources for

Updated 2 months ago

Haskell 0 0

Updated 5 months ago

Updated 3 weeks ago

Haskell 0 0

Updated 3 months ago

Updated 8 months ago

previous sources for

Updated 8 months ago

Idris 0 0

Updated 1 month ago

Updated 8 months ago

Updated 8 months ago

Haskell 0 0

Updated 6 months ago