cognitive psychology. PhD 
Was my paper or its bibliography of any use to you in this endeavor? I didn't promote it much but it was published.
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 …
-
-
-
I didn’t realize it was published! But our conversations at OPLSS sparked a lingering interest in the subject, which is perhaps more important :-)
- Show replies
New conversation -
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.