about summary refs log tree commit diff stats
path: root/lambda-to-mu.mu
Commit message (Collapse)AuthorAgeFilesLines
* 3688Kartik K. Agaram2016-11-251-0/+6
| | | | | | | Move my todos over the past couple of years into the codebase now that it might be going dormant. Surprising how few todos left undone!
* 3681Kartik K. Agaram2016-11-221-18/+18
| | | | Couple of fixes to example programs.
* 3656Kartik K. Agaram2016-11-101-11/+11
| | | | | | | | | | | | | | Periodic cleanup to replace 'reply' with 'return' everywhere in the repo. I use 'reply' for students to help reinforce the metaphor of function calls as being like messages through a pipe. But that causes 'reply' to get into my muscle memory when writing Mu code for myself, and I worry that that makes Mu seem unnecessarily alien to anybody reading on Github. Perhaps I should just give it up? I'll try using 'return' with my next student.
* 3561Kartik K. Agaram2016-10-221-2/+2
|
* 3552Kartik K. Agaram2016-10-221-1/+1
| | | | | | | | | | | | | | | | | | Stop requiring jump instructions to explicitly provide a ':label' type for jump targets. This has been a source of repeated confusion for my students: a) They'd add the ':label' to the label definition rather than the jump target (label use) b) They'd spend time thinking about whether the initial '+' prefix was part of the label name. In the process I cleaned up a couple of things: - the space of names is more cleanly partitioned into labels and non-labels (clarifying that '_' and '-' are non-label prefixes) - you can't use label names as regular variables anymore - you can infer the type of a label just from its name
* 3526Kartik K. Agaram2016-10-201-3/+3
|
* 3483Kartik K. Agaram2016-10-081-60/+60
|
* 3400Kartik K. Agaram2016-09-181-0/+584
| | | | | | | | | Undo commit 3340. Let's standardize names of non-core files to only have dashes. That's also consistent with the edit/ and sandbox/ apps. Mu programmers will tend to pervasively use dashes, just like Lisp programmers. Scripts will continue to use underscores..
* 3340Kartik K. Agaram2016-09-121-584/+0
| | | | | | | | Rename files to be consistent with my (forgotten) convention of always using underscores over hyphens. I'll leave server-socket.mu alone for now, since Stephen's hacking on it.
* 3338Kartik K. Agaram2016-09-121-1/+1
| | | | Process type abbreviations in container definitions.
* 3337 - first use of type abbreviations: textKartik K. Agaram2016-09-121-37/+38
| | | | | In the process I've uncover a couple of situations we don't support type abbreviations yet. They're next.
* 3159 - pause the lambda->mu translator for a bitKartik K. Agaram2016-08-071-0/+18
| | | | | | | | I'm going to focus on two projects for a while: a) the testable interface for file system and network b) a compiler translating some language to x86 b) might require first gaining some experience programming in Assembly.
* 3156Kartik K. Agaram2016-07-271-5/+6
| | | | Make 'stream' generic.
* 3153Kartik K. Agaram2016-07-241-2/+4
|
* 3151Kartik K. Agaram2016-07-241-1/+3
|
* 3150 - done with parser for s-expressionsKartik K. Agaram2016-07-241-3/+78
|
* 3149Kartik K. Agaram2016-07-241-3/+3
|
* 3148Kartik K. Agaram2016-07-241-0/+17
|
* 3147Kartik K. Agaram2016-07-241-18/+18
|
* 3146Kartik K. Agaram2016-07-241-11/+72
|
* 3145Kartik K. Agaram2016-07-241-4/+48
|
* 3144Kartik K. Agaram2016-07-241-4/+43
| | | | | Fix a bug in phase ordering discovered while trying to stash cells in the lambda compiler.
* 3140Kartik K. Agaram2016-07-231-4/+30
| | | | | Manual tests for parse errors because scenarios can't handle assertion failures yet.
* 3139Kartik K. Agaram2016-07-231-2/+6
|
* 3138Kartik K. Agaram2016-07-231-12/+90
|
* 3135Kartik K. Agaram2016-07-221-5/+14
| | | | Parsing pairs of atoms.
* 3132Kartik K. Agaram2016-07-221-21/+19
|
* 3131Kartik K. Agaram2016-07-221-4/+41
| | | | | Reorganize parser to make room for parsing pairs. But first test for pairs is still failing.
* 3130Kartik K. Agaram2016-07-221-3/+20
| | | | Handle multi-character atoms.
* 3129Kartik K. Agaram2016-07-221-0/+29
| | | | Degenerate 'parser' that handles just atoms of one character.
* 3127Kartik K. Agaram2016-07-221-0/+43
|
* 3125Kartik K. Agaram2016-07-221-3/+19
|
* 3124Kartik K. Agaram2016-07-221-21/+28
| | | | | Reorganize data structure for lambda cells. Create our first real unit test for the compiler in the process.
* 3121 - very preliminary spike on a compilerKartik K. Agaram2016-07-221-0/+60
Nothing runs yet. Just spewing out code at this point, as a kind of sketching.
'#n700'>700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773