ngsankha/eecs662

Use scribble

ngsankha opened this issue · 2 comments

ngsankha commented
  • Use scribble
  • Move relations to PLT Redex so that relations do not have mistakes and can be tested before the notes are built
ngsankha commented

Started work in the scribble branch.

ngsankha commented

Added redex in 09574f0