4 ms·
No: https://github.com/videolang/video/commits/master/ https://github.com/videolang/video/commits/master/. Last commit November 2019.
by mkl 2y ago
No: https://github.com/videolang/video/commits/master/ https://github.com/videolang/video/commits/master/. Last commit November 2019.
- rscho 2y agoIm not sure, but I think Leif has graduated
- LeifAndersen 2y agoThat I did. You can find my dissertation here: https://www2.ccs.neu.edu/racket/pubs/#dissertation-andersen https://www2.ccs.neu.edu/racket/pubs/#dissertation-andersen