Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
wat [2016/04/12 20:15]
nikolaj
wat [2016/04/13 16:23] (current)
nikolaj
Line 10: Line 10:
 >>>​You can start with almost any dependently typed language, even if parts are missing, if you label/deny using/rule out the potentially dangerous possibilites/​implementations there. What's left is something simple and right. >>>​You can start with almost any dependently typed language, even if parts are missing, if you label/deny using/rule out the potentially dangerous possibilites/​implementations there. What's left is something simple and right.
  
-So todo: Make a list of what you actually WANT1111!!!+So todo: Make a list of what you actually WANT1111!!! ​--> What's the smallest theory permitting a semantic model that has all the stuff I like?
  
 === Motivation === === Motivation ===
Link to graph
Log In
Improvements of the human condition