Open doyougnu opened 1 year ago
Should be a simple copy paste. For now I'm just using the note role but a key-idea or key-point role would be better and we should change the color.
note
key-idea
key-point
See the note in the lambda lifting chapter for an example.
Should be a simple copy paste. For now I'm just using the
note
role but akey-idea
orkey-point
role would be better and we should change the color.See the note in the lambda lifting chapter for an example.