1 files changed, 0 insertions, 34 deletions
diff --git a/AstSemantics.md b/AstSemantics.md
index 896f2f6..0cc4a31 100644
--- a/AstSemantics.md
+++ b/AstSemantics.md
@@ -413,37 +413,3 @@ overflow to infinity or negative infinity as specified by IEEE-754.
 Conversion from floating point to integer where IEEE-754 would specify an
 invalid operation exception (e.g. when the floating point value is NaN or
 outside the range which rounds to an integer in range) traps.
-
-## Post-MVP intrinsics
-
-The following list of intrinsics is being considered for addition after the MVP. The
-rationale is that, for the MVP, these operations can be statically linked into the
-WebAssembly module by the code generator at small size cost and this avoids a
-non-trivial specification burden of their semantics/precision. Adding these
-intrinsics post-MVP would allow for better high-level backend optimization of
-these intrinsics that require builtin knowledge of their semantics. On the other
-hand, a code generator may continue to statically link in its own implementation
-since this provides greater control over precision/performance tradeoffs.
-
-  * Float64Sin - trigonometric sine
-  * Float64Cos - trigonometric cosine
-  * Float64Tan - trigonometric tangent
-  * Float64ASin - trigonometric arcsine
-  * Float64ACos - trigonometric arccosine
-  * Float64ATan - trigonometric  arctangent
-  * Float64ATan2 - trigonometric arctangent with two arguments
-  * Float64Exp - exponentiate e
-  * Float64Ln - natural logarithm
-  * Float64Pow - exponentiate
-  * Float32Sin - trigonometric sine
-  * Float32Cos - trigonometric cosine
-  * Float32Tan - trigonometric tangent
-  * Float32ASin - trigonometric arcsine
-  * Float32ACos - trigonometric arccosine
-  * Float32ATan - trigonometric  arctangent
-  * Float32ATan2 - trigonometric arctangent with two arguments
-  * Float32Exp - exponentiate e
-  * Float32Ln - natural logarithm
-  * Float32Pow - exponentiate
-
-The rounding behavior of these operations would need clarification.