Not logged in

Overview
Comment: Penultimate draft of the report. After spell checking and such, this will become the final draft. Tarball | ZIP archive | SQL archive family | ancestors | descendants | both | trunk files | file ages | folders 98924328add2f2586fae104b095ae6bdbe806d8f andy 2015-04-18 19:48:55
Context
 2015-04-18 21:14 Final draft of report. (Unless I think of something else to add...) check-in: 04f1cd0696 user: andy tags: trunk 19:48 Penultimate draft of the report. After spell checking and such, this will become the final draft. check-in: 98924328ad user: andy tags: trunk 18:47 Added a TODO comment describing the problems around applying the substitution to the body of an expanded clause, instead of appending them as unification goals. check-in: b5c5523821 user: andy tags: trunk
Changes

Changes to report/arend-report.bib.

 48 49 50 51 52 53 54 55 56 57 58 59 60 61   author={Page, Rex and Eastlund, Carl and Felleisen, Matthias}, booktitle={Proceedings of the 2008 international workshop on Functional and declarative programming in education}, pages={21--30}, year={2008}, organization={ACM} } @inproceedings{reichelt2010types, title={Treating Sets as Types in a Proof Assistant for Ordinary Mathematics}, author={Reichelt, Sebastian}, date={September 4, 2010}, organization={Institute of Informatics, University of Warsaw, Warszawa, Poland}, url={http://hlm.sourceforge.net/types.pdf},   > > > > > > > > > > > > > > > > > >  48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79   author={Page, Rex and Eastlund, Carl and Felleisen, Matthias}, booktitle={Proceedings of the 2008 international workshop on Functional and declarative programming in education}, pages={21--30}, year={2008}, organization={ACM} } @inproceedings{Ford:2004:PEG:964001.964011, author = {Ford, Bryan}, title = {Parsing Expression Grammars: A Recognition-based Syntactic Foundation}, booktitle = {Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, series = {POPL '04}, year = {2004}, isbn = {1-58113-729-X}, location = {Venice, Italy}, pages = {111--122}, numpages = {12}, url = {http://doi.acm.org/10.1145/964001.964011}, doi = {10.1145/964001.964011}, acmid = {964011}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {BNF, GTDPL, TDPL, context-free grammars, lexical analysis, packrat parsing, parsing expression grammars, regular expressions, scannerless parsing, syntactic predicates, unified grammars}, } @inproceedings{reichelt2010types, title={Treating Sets as Types in a Proof Assistant for Ordinary Mathematics}, author={Reichelt, Sebastian}, date={September 4, 2010}, organization={Institute of Informatics, University of Warsaw, Warszawa, Poland}, url={http://hlm.sourceforge.net/types.pdf}, 

Changes to report/arend-report.pdf.

cannot compute difference between binary files

Changes to report/arend-report.tex.
