aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)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