smichal / hs-logicLinks
A simple library for Haskell that allows relational programming.
☆46Updated 12 years ago
Alternatives and similar repositories for hs-logic
Users that are interested in hs-logic are comparing it to the libraries listed below
Sorting:
- Austin's supercompiler work☆21Updated 5 years ago
- A typed logic programming language embedded in Haskell☆49Updated 12 years ago
- Haskell's Core in K.☆20Updated 8 years ago
- System F implemented in Haskell☆24Updated 13 years ago
- A bad XML parser