WTy-2 / spec

https://wty-2.github.io/spec/
1 stars 0 forks source link

Move `Old` content into mdbook #2

Open aDotInTheVoid opened 1 year ago

NathanielB123 commented 1 year ago

I had a quick scroll through the old spec. Most of the content in Old is now obsolete, but the bits on do-notation syntax sugar I still mostly agree with and should be moved into the book. I don't have time to write a new page now, but am noting this down for when I return to this issue (so I don't forget).