better list

Author: jurgenvinju

courses/RascalAmendmentProposals/RascalAmendmentProposals.md

@@ -1,6 +1,6 @@
 ---
 title: Rascal Amendment Proposals
-sidebar_position: 9
+sidebar_position: 8
 keywords:
   - RFC
   - RAP
@@ -12,30 +12,22 @@ keywords:
 Rascal Amendement Proposals are short documents that motivate and detail significant changes to
 the Rascal language, its implementation architecture or its ecosystem of library packages.
 
-The following documents are works in progress; thoughts on future changes to Rascal which may or may 
-not be turned into actual maintenance projects on the language. Completed RAPs are collected lower on 
-this page.
+The following documents are thoughts on (future) changes to Rascal which may or may 
+not be turned into actual maintenance projects on the language. Completed RAPs are marked complete.
 
-### Open Amendment Proposals
+* [ ]  ((RAP1)) - Rascal deployment and package management
+* [ ]  ((RAP2)) - "Types are parsers"
+* [ ]  ((RAP3)) - Concrete patterns for external parsers
+* [ ]  ((RAP4)) - Rascal functions documented
+* [ ]  ((RAP5)) - A single exact number type
+* [ ]  ((RAP6)) - Disentangle semantics of import and extend
+* [ ]  ((RAP7)) - Final pattern variables
+* [ ]  ((RAP8)) - Simple and almost safe concurrency
+* [ ]  ((RAP9)) - "Events": a simple unified intermediate format for exceptions, errors and test results
+* [ ]  ((RAP10)) - Concurrent source location access
+* [ ]  ((RAP11)) - New datetime implementation plus support for partial datetime
+* [ ]  ((RAP12)) - Separate string editing from visit statement
+* [ ]  ((RAP13)) - Name-parametrized syntax modifiers
+* [ ]  ((RAP14)) - Backward compatibility for Rascal modules
+* [ ]  ((RAP15)) - Conditional patterns and removal of accidental non-linear matching
 
-1. ((RAP1)) - Rascal deployment and package management
-1. ((RAP2)) - "Types are parsers"
-1. ((RAP3)) - Concrete patterns for external parsers
-1. ((RAP4)) - Rascal functions documented
-1. ((RAP5)) - A single exact number type
-1. ((RAP6)) - Disentangle semantics of import and extend
-1. ((RAP7)) - Final pattern variables
-1. ((RAP8)) - Simple and almost safe concurrency
-1. ((RAP9)) - "Events": a simple unified intermediate format for exceptions, errors and test results
-1. ((RAP10)) - Concurrent source location access
-1. ((RAP11)) - New datetime implementation plus support for partial datetime
-1. ((RAP12)) - Separate string editing from visit statement
-1. ((RAP13)) - Name-parametrized syntax modifiers
-1. ((RAP14)) - Backward compatibility for Rascal modules
-1. ((RAP15)) - Conditional patterns and removal of accidental non-linear matching
-
-# Archive
-
-These RAP documents have been completed and their proposals implemented:
-
-* So far this has not happened due to the language feature freeze for the initial compiler development project.