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