Update Aiken's roadmap.

src/content/projects/aiken.md

@@ -33,29 +33,6 @@ links:
 roadmap:
   type: past-present-future
   recently:
-    - title: Plutus V3 integration
-      description: |
-        Introduce new Plutus V3 crypto primitives for blst381-12, as detailed in
-        [CIP-0381](https://cips.cardano.org/cip/CIP-0381), new bitwise
-        primitives and revised Plutus virtual machine semantic.
-      href: https://github.com/aiken-lang/aiken/milestone/9?closed=1
-
-    - title: Property-based testing framework
-      description: |
-        Supercharge the existing unit testing framework with built-in
-        property-based testing capabilities for writing powerful tests executed
-        directly on the Plutus virtual machine.
-      href: https://github.com/aiken-lang/aiken/discussions/787
-
-    - title: Improved safety and devX on boundaries
-      description: |
-        Perform additional checks to prevent common mistakes with
-        unserialization of data provided to validators. Include also new
-        mechanism for deferring deserialization while preserving useful type
-        information.
-      href: https://github.com/aiken-lang/aiken/milestone/10?closed=1
-
-  currently:
     - title: Functions export
       description: |
         Export any Aiken function as a standalone Untyped Plutus Core (UPLC)
@@ -69,6 +46,7 @@ roadmap:
         confusion down the line.
       href: https://github.com/aiken-lang/aiken/milestone/12
 
+  currently:
     - title: Marlowe acceptance
       description: |
         Marlowe is a great example of a non-trivial validator that comes with a
@@ -77,13 +55,21 @@ roadmap:
         against an agnostic test suite.
       href: https://github.com/aiken-lang/aiken/milestone/13
 
-  next:
     - title: Road to β
       description: |
         Aiken is technically still in Alpha. There are various changes to be
         brought to the compiler which we've enumerated and gathered under a 'Road to Beta'.
       href: https://github.com/aiken-lang/aiken/issues/754
 
+  next:
+    - title: DevX of parameterized validators
+      description: |
+        The development flow around parameterized validators is currently not
+        ideal. We are, therefore, exploring two new areas to improve the experience
+        by the project configuration file and conditional compilation targets based
+        on environments.
+      href: https://github.com/aiken-lang/aiken/milestone/14
+
   discussions:
     - title: Constraining generic type arguments
       href: https://github.com/aiken-lang/aiken/discussions/99