aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* X and Y were forgotten in these definitionsHEADmasterthe lemons2023-04-28
* used the wrong type of titlethe lemons2023-04-28
* az as defined in the word listthe lemons2023-04-28
* revise relation operator semanticsthe lemons2023-04-28
* readd >:the lemons2023-04-27
* remove >:the lemons2023-04-27
* s/manifest/exhibitthe lemons2023-04-27
* z -> az, y -> aythe lemons2022-07-24
* ga -> aa, gb -> abthe lemons2022-07-24
* improve the definitions of liststhe lemons2022-07-24
* unary operator precedencethe lemons2022-02-19
* "innermost"the lemons2022-02-19
* clarification of @*the lemons2022-02-18
* @* operatorthe lemons2022-02-18
* forall operatorthe lemons2022-02-18
* actually define the @ operatorthe lemons2022-02-18
* lambda type errorthe lemons2022-02-18
* @, operatorthe lemons2022-02-18
* asteriskthe lemons2022-02-18
* lambdasthe lemons2022-02-18
* o p qheav-42022-02-19
* add operatorsthe lemons2022-02-18
* &, operatorthe lemons2022-02-18
* define the semantic meaning of liststhe lemons2022-02-18
* lists should have some semantic valuethe lemons2022-02-18
* apiate h and ithe lemons2022-02-18
* add wordsthe lemons2022-02-18
* be more specific about list coercionthe lemons2022-02-18
* liststhe lemons2022-02-18
* numbersthe lemons2022-02-18
* *: operatorthe lemons2022-02-18
* correct definition of &_the lemons2022-02-18
* makesthe lemons2022-02-18
* tatemetnsthe lemons2022-02-18
* in the sentencethe lemons2022-02-18
* >_ operatorthe lemons2022-02-18
* move filesthe lemons2022-02-18
* language existencethe lemons2022-02-18