jota191/requirements jota191/requirements

  • Stars
    star
    1
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created over 4 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jota191/requirements
github

jota191

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A small framework to manage user defined type errors.

More Repositories

1

AspectAG

EDSL implementing strongly typed Attribute Grammars
Haskell
4
star
2

jota191

1
star
3

sat-solvers

Implementation of sat-solvers for propositional logic, comparing bruteforce and tableaux
Haskell
1
star
4

poly-rec

polykinded heterogeneous extensible records in Haskell
Haskell
1
star