YellPika/constraint-rules YellPika/constraint-rules

  • Stars
    star
    16
  • Rank 1,304,796 (Top 26 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
YellPika/constraint-rules
github

YellPika

Reviews

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

Repository Details

Extend GHC's type checker with user-defined rules, without writing a type checker plugin.

More Repositories

1

effin

A Typeable-free implementation of extensible effects
Haskell
26
star
2

vscode-latex-input

LaTeX-style unicode input for Visual Studio Code
TypeScript
9
star
3

tlogic

Typed logic programming embedded in Haskell.
Haskell
1
star
4

FsChannel

An implementation of Go style fibers and channels in FSharp.
F#
1
star