Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | X and Y were forgotten in these definitionsHEADmaster | the lemons | 2023-04-28 |
| | |||
* | used the wrong type of title | the lemons | 2023-04-28 |
| | |||
* | az as defined in the word list | the lemons | 2023-04-28 |
| | |||
* | revise relation operator semantics | the lemons | 2023-04-28 |
| | |||
* | readd >: | the lemons | 2023-04-27 |
| | |||
* | remove >: | the lemons | 2023-04-27 |
| | |||
* | s/manifest/exhibit | the lemons | 2023-04-27 |
| | |||
* | z -> az, y -> ay | the lemons | 2022-07-24 |
| | |||
* | ga -> aa, gb -> ab | the lemons | 2022-07-24 |
| | |||
* | improve the definitions of lists | the lemons | 2022-07-24 |
| | |||
* | unary operator precedence | the lemons | 2022-02-19 |
| | |||
* | "innermost" | the lemons | 2022-02-19 |
| | |||
* | clarification of @* | the lemons | 2022-02-18 |
| | |||
* | @* operator | the lemons | 2022-02-18 |
| | |||
* | forall operator | the lemons | 2022-02-18 |
| | |||
* | actually define the @ operator | the lemons | 2022-02-18 |
| | |||
* | lambda type error | the lemons | 2022-02-18 |
| | |||
* | @, operator | the lemons | 2022-02-18 |
| | |||
* | asterisk | the lemons | 2022-02-18 |
| | |||
* | lambdas | the lemons | 2022-02-18 |
| | |||
* | o p q | heav-4 | 2022-02-19 |
| | |||
* | add operators | the lemons | 2022-02-18 |
| | |||
* | &, operator | the lemons | 2022-02-18 |
| | |||
* | define the semantic meaning of lists | the lemons | 2022-02-18 |
| | |||
* | lists should have some semantic value | the lemons | 2022-02-18 |
| | |||
* | apiate h and i | the lemons | 2022-02-18 |
| | |||
* | add words | the lemons | 2022-02-18 |
| | |||
* | be more specific about list coercion | the lemons | 2022-02-18 |
| | |||
* | lists | the lemons | 2022-02-18 |
| | |||
* | numbers | the lemons | 2022-02-18 |
| | |||
* | *: operator | the lemons | 2022-02-18 |
| | |||
* | correct definition of &_ | the lemons | 2022-02-18 |
| | |||
* | makes | the lemons | 2022-02-18 |
| | |||
* | tatemetns | the lemons | 2022-02-18 |
| | |||
* | in the sentence | the lemons | 2022-02-18 |
| | |||
* | >_ operator | the lemons | 2022-02-18 |
| | |||
* | move files | the lemons | 2022-02-18 |
| | |||
* | language existence | the lemons | 2022-02-18 |