DSLsofMath/DSLsofMath Issues
What is ment by group structure?
Closed 1Visual issue with `@` symbol
Closed 1Look at TODOs in W08
Closedr
Closed 2look at TODOs in W07
ClosedSmall typo
Closed 1Explain "equality up to"
Updatedlook at TODOs in W06
Closedlook at TODOs in W5
Closedlook at TODOs in W4
Closed 1Look at TODOs in W03
Closed 1Check comments in e9c69df (W02)
Closed 1Make the "dictionary" sortable
Updated 2Errors in code
Closed 2Look at TODOs in W01
Closed 1Read and check Chapter 1
ClosedRead and check Chapter 0
ClosedNeed for discussion board
Closed 1Broken link in DSLs section
Closed 1Inget innehåll på Fire
Closed 2