Digraph
Organize the world
Digraph
Search
Everything
This topic
Blog
Recent
Everything
Sign in
Programming language concepts
Parent topics
Programming languages, data formats and protocols
This topic
Recent activity
You must be
signed in
to add and move topics and links.
ATS (programming language) - Wikipedia
https://en.wikipedia.org/wiki/ATS_(programming_language)
Programming language concepts
Curry–Howard correspondence - Wikipedia
https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
Programming language concepts
Dependent type - Wikipedia
https://en.wikipedia.org/wiki/Dependent_type
Programming language concepts
Reddit - Dive into anything
https://www.reddit.com/r/rust/comments/1127kgj/comment/j8keiqi/
Programming language concepts