cognitive psychology. PhD 
Slowly figuring out the relationship between logic programming and functional programming. Made a language for type-level programming in Rust that compiles to traits:https://github.com/willcrichton/tyrade …
-
Was my paper or its bibliography of any use to you in this endeavor? I didn't promote it much but it was published.
I didn’t realize it was published! But our conversations at OPLSS sparked a lingering interest in the subject, which is perhaps more important :-)
-
-
Seeing this, I miss oplss’s!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.