about summary refs log tree commit diff stats
path: root/Readme.md
Commit message (Collapse)AuthorAgeFilesLines
* 2940Kartik K. Agaram2016-05-081-0/+2
|
* 2877Kartik K. Agaram2016-04-271-1/+1
|
* 2876Kartik K. Agaram2016-04-271-1/+1
|
* 2865Kartik K. Agaram2016-04-241-1/+1
|
* 2833Kartik K. Agaram2016-04-141-1/+4
|
* 2785Kartik K. Agaram2016-03-151-7/+12
|
* 2783 - typo in Readme; thanks John LampingKartik K. Agaram2016-03-141-2/+2
|
* 2761Kartik K. Agaram2016-03-111-10/+8
|
* 2758Kartik K. Agaram2016-03-101-4/+4
|
* 2757Kartik K. Agaram2016-03-101-3/+3
|
* 2756Kartik K. Agaram2016-03-101-6/+6
|
* 2755Kartik K. Agaram2016-03-101-10/+1
|
* 2754Kartik K. Agaram2016-03-101-2/+2
|
* 2753Kartik K. Agaram2016-03-101-3/+3
|
* 2752Kartik K. Agaram2016-03-101-1/+2
|
* 2751Kartik K. Agaram2016-03-101-103/+31
|
* 2750 - take out all philosophy from the ReadmeKartik K. Agaram2016-03-101-197/+61
|
* 2747Kartik K. Agaram2016-03-091-0/+4
| | | | Thanks Ben Trask for engaging with my arguments.
* 2742Kartik K. Agaram2016-03-081-41/+2
|
* 2738Kartik K. Agaram2016-03-081-16/+16
|
* 2737Kartik K. Agaram2016-03-081-1/+1
|
* 2735 - define recipes using 'def'Kartik K. Agaram2016-03-081-29/+29
| | | | | | | | | | | | I'm dropping all mention of 'recipe' terminology from the Readme. That way I hope to avoid further bike-shedding discussions while I very slowly decide on the right terminology with my students. I could be smarter in my error messages and use 'recipe' when code uses it and 'function' otherwise. But what about other words like ingredient? It would all add complexity that I'm not yet sure is worthwhile. But I do want separate experiences for veteran programmers reading about Mu on github and for people learning programming using Mu.
* 2734Kartik K. Agaram2016-03-081-7/+7
|
* 2733Kartik K. Agaram2016-03-071-0/+2
|
* 2732Kartik K. Agaram2016-03-071-1/+10
|
* 2731Kartik K. Agaram2016-03-071-1/+1
|
* 2730Kartik K. Agaram2016-03-071-43/+159
|
* 2729Kartik K. Agaram2016-03-061-7/+12
|
* 2723Kartik K. Agaram2016-02-291-5/+2
|
* 2651Kartik K. Agaram2016-02-121-7/+2
|
* 2650Kartik K. Agaram2016-02-121-4/+4
|
* 2562Kartik K. Agaram2016-01-171-1/+1
| | | | | | | | | | | | We want to use the type 'recipe' for recipe *variables*, because it seems nicer to say `recipe number -> number` rather than recipe-ordinal, etc. To support this we'll allow recipe names to be mentioned without any type. This might make a couple of places in this commit more brittle. I'm dropping error messages, causing them to not happen in some situations. Maybe I should just bite the bullet and require an explicit :recipe-literal. We'll see.
* 2437Kartik K. Agaram2015-11-141-3/+4
|
* 2427Kartik K. Agaram2015-11-121-3/+3
|
* 2426Kartik K. Agaram2015-11-111-5/+62
|
* 2425Kartik K. Agaram2015-11-101-7/+8
|
* 2176Kartik K. Agaram2015-09-061-3/+3
|
* 2156 - split edit.mu into multiple filesKartik K. Agaram2015-09-051-2/+2
| | | | | | | | | Now you can bring up the programming environment by saying: $ mu edit The files under edit aren't yet *layers*, though, they have a few dependencies that we need to clean up.
* 2130Kartik K. Agaram2015-09-021-10/+7
|
* 1985Kartik K. Agaram2015-08-131-2/+8
|
* 1984Kartik K. Agaram2015-08-131-1/+1
|
* 1983Kartik K. Agaram2015-08-131-16/+26
|
* 1972 - resize Readme images to match text sizeKartik K. Agaram2015-08-101-3/+3
| | | | | | | | | | | | | Now that we have larger-res images for the Readme they look good even if the browser is magnified with ctrl-+ (like mine is). factorial-test.png looks about the same size as surrounding text at 250px wide. Original size is 330px. factorial.png original size is 450px. So its width should be 340px. chessboard-test.png original size is 423px. So its width should be 320px.
* 1971Kartik K. Agaram2015-08-101-49/+62
|
* 1894Kartik K. Agaram2015-07-301-0/+18
|
* 1893Kartik K. Agaram2015-07-291-6/+6
|
* 1885Kartik K. Agaram2015-07-291-2/+3
|
* 1868 - start using naked literals everywhereKartik K. Agaram2015-07-281-6/+6
| | | | First step to reducing typing burden. Next step: inferring types.
* 1777 - consistent terminology: 'product'Kartik K. Agaram2015-07-131-5/+5
|
* 1775Kartik K. Agaram2015-07-131-2/+2
|