Page history

Uakci

link to uploaded version of hoemui.pdf

Loekıa

better words

Loekıa

better words

Loekıa

better word

Loekıa

better word

Loekıa

clean up the introduction a lil

Loekıa

Write the worlds section

Loekıa

Finish the events section

Loekıa

Start events section

Loekıa

Fix a typo

Loekıa

Mention the special syntax for presuppositions in lambda expressions

Loekıa

Fix broken anaphora

Loekıa

Explain presuppositions

Loekıa

Use a consistent syntax for restricted quantification

Loekıa

brismu is being worked on again?? update the link

Loekıa

Explain how properties are represented

Loekıa

Improve wording

Loekıa

Cover basic symbols

Loekıa

go down the proposition rabbit hole

Loekıa

fix typoz

Loekıa

propopositionsszzz

Loekıa

Progress on the propositions section, mostly

Loekıa

Finish explaining lambdas

Loekıa

Save my half-finished explanation of lambdas

Loekıa

Add a note to self to explain properties

Loekıa

Mention non-denotationalist semantics

Loekıa

Make constants non-italic, like the refgram

Loekıa

Texify MORE

Loekıa

Texify more múao-s

Mỉ Mỉao ga Nhäqpy

THOU HAST BEEN DEFEATED

Mỉ Mỉao ga Nhäqpy

YAY

Loekıa

Write most of the semantic calculus section

Mỉ Mỉao ga Nhäqpy

use the formula thingy

Loekıa

Finish what I wanted to say about models

Loekıa

Insert arithmetic model diagram

Loekıa

Early WIP