Hacker News new | comments | show | ask | jobs | submit login
user:Zalastax
created:July 19, 2015
karma: 176
about: MsC thesis "Singly typed actors in Agda": https://www.dropbox.com/s/lczrcqu2m9p6osv/Master_Thesis.pdf
submissions
comments
favorites