Highlights
- Arctic Code Vault Contributor
Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up
Pinned
637 contributions in the last year
Contribution activity
August 2020
- msullivan/riscv-formal Verilog
Created a pull request in edgedb/edgedb that received 3 comments
Make query normalization use same variable for same constants
This is needed to make select-or-insert work when using constants, since otherwise this hides the equality of constants from the compiler. Work on #…
+108
−56
•
3
comments
Created an issue in mypyc/mypyc that received 4 comments
Support interpreted subclasses of traits (and direct trait instantiation?)
We should support interpreted subclasses of traits. I think that most approaches to accomplishing that should also make it possible to directly cre…
4
comments