Victor Tokarev's repositories
intero
Complete interactive development program for Haskell
Language:HaskellBSD-3-Clause000
ho-rewriting
A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders
Language:HaskellBSD-3-Clause000