Did first day's homework
Minor cleanup
Delete Day1.agda
Finished Term and Term/Eval
Finish TypeCheck.agda
comment
Start StackSafe.agda
Started Conduit.agda