Use scribble - Githubissues

ngsankha / eecs662

EECS 662: Programming Languages

https://sankhs.com/eecs662/

MIT License

0 stars 0 forks source link

Open ngsankha opened 4 months ago

ngsankha commented 4 months ago

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 4 months ago

Started work in the scribble branch.

ngsankha commented 4 months ago

Added redex in 09574f0