about summary refs log tree commit diff stats
path: root/lambda-to-mu.mu
Commit message (Collapse)AuthorAgeFilesLines
* 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.