Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
wat [2016/04/12 20:11] nikolaj |
wat [2016/04/13 16:23] nikolaj |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| >>What's a faithful model of (to-be) WAT? | >>What's a faithful model of (to-be) WAT? | ||
| + | |||
| + | >>>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!!! --> What's the smallest theory permitting a semantic model that has all the stuff I like? | ||
| === Motivation === | === Motivation === | ||
