Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
wat [2016/04/12 20:15] nikolaj |
wat [2016/04/13 16:23] 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 === |