Anthony Vandikas
Results
2
repositories owned by
Anthony Vandikas
constraint-rules
17
Stars
0
Forks
Watchers
Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
