From 4c5090686af65caa76fd205d143defaa45389e16 Mon Sep 17 00:00:00 2001 From: Aaron Gutierrez Date: Wed, 4 Mar 2015 00:44:08 -0500 Subject: [PATCH] Added benefits section for proposal --- proposal/benefits.txt | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/proposal/benefits.txt b/proposal/benefits.txt index e69de29..4c47d62 100644 --- a/proposal/benefits.txt +++ b/proposal/benefits.txt @@ -0,0 +1,11 @@ +This project will benefit students in 15-122 Principals of Imperative +Computation at Carnegie Mellon University by helping them create correct +programs. The C0 Debugger will enable students to understand how their programs +execute and find where problems originate more easily than with existing tools. +In addition to debugging, students will have better knowledge for how the +underlying computation model works when evaluating their code. + +The C0 Debugger will also enable students to test simple programs with little +setup, using only a web browser. They will no longer have to set up and become +familiar with a Unix environment before they can program, making C0 accessible +to more people.