This is the git repository of the paper "Programming Without Regret",
whose implementation is the project called "Lambda Perfect"
To edit it as a Dropbox document to submit and receive immediate changes, ask the owner, so that you can edit it directly online at https://www.madoko.net/editor.html
To compile the document and/or convert to LaTeX, follow the instructions there:
http://madoko.org/reference.html#sec-installation-and-usage
| Commit | Author | Details | Committed | ||||
|---|---|---|---|---|---|---|---|
| 794fd0eaba64 | kuncak | corrected new bibtex entry | Nov 17 2017 | ||||
| 5a1189e08560 | kuncak | added smalltalk and shortened program text | Nov 17 2017 | ||||
| b26f0f199a02 | Mikael_Mayer | typo | Nov 17 2017 | ||||
| 60972b283e6e | Mikael_Mayer | typo context => output | Nov 17 2017 | ||||
| cf0b62ff8a8e | Mikael_Mayer | Motivating: Display language. | Nov 17 2017 | ||||
| 7e5283c8f979 | kuncak | updated the motivating example and regained some space | Nov 17 2017 | ||||
| 5bc2d6e9e00c | kuncak | more clarification on multilingual | Nov 17 2017 | ||||
| 7d57aa1d60e0 | Mikael_Mayer | Justifications of theorem | Nov 17 2017 | ||||
| d59d579588f7 | Mikael_Mayer | Title of algorithms | Nov 17 2017 | ||||
| 45464e329cd5 | Mikael_Mayer | Shortened the Spreadsheet example. | Nov 17 2017 | ||||
| 30cbb213b1b5 | kuncak | pattern matching made compact | Nov 17 2017 | ||||
| 6a3c26cfc1cc | Mikael_Mayer | Shortened the end of course material. | Nov 17 2017 | ||||
| 673e9cb3775d | Mikael_Mayer | Explained course material. | Nov 17 2017 | ||||
| 97ef56ff1d13 | kuncak | better placement of figures | Nov 17 2017 | ||||
| de0edda16e90 | kuncak | comlex computations | Nov 17 2017 |