dmkolobov 6 hours ago It is crazy how much work comes out of Bruno Oliveira’s research groups.Another cool online thing that exists is CP, a language with disjoint intersection and union types:https://github.com/yzyzsun/CP-next
flashgordon 8 hours ago This is amazing. I've been wanting to do this for ages (even tried a few times and failed a few times). Great to see this.
It is crazy how much work comes out of Bruno Oliveira’s research groups.
Another cool online thing that exists is CP, a language with disjoint intersection and union types:
https://github.com/yzyzsun/CP-next
This is amazing. I've been wanting to do this for ages (even tried a few times and failed a few times). Great to see this.
[dead]