Open Lehmaning opened 2 months ago
Fixed the wrong command in note to the proper one used for setting up ghc.
note
/check
All changes look good.
Wait for review from human collaborators.
Fixed the wrong command in
note
to the proper one used for setting up ghc.