Anthony Vandikas

icon indicating a website link https://www.cs.toronto.edu/~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.

verified publisher icon YellPika

effin

26
Stars
1
Forks
Watchers

A Typeable-free implementation of extensible effects

verified publisher icon YellPika