ref: 8fb0571b7024b199d114c781d281bb7afcf9d268
parent: 4bc6e977310773e2adb3c7c18615ecd839c0f699
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Mon Dec 4 14:28:58 EST 2023
Prefix negation fixed.
--- a/README.md
+++ b/README.md
@@ -29,7 +29,6 @@
* Top level definitions must have a type signature.
* Type variables need an explicit `forall`.
* Type variables without a kind annotation are assumed to have kind `Type`.
- * There is no prefix negation.
* There is no `Read` class.
* There is no deriving.
* There is no record syntax.
--- a/TODO
+++ b/TODO
@@ -40,7 +40,6 @@
* Parser cannot handle
x :+ y == x' :+ y'
probably needs total merge of pattern&expression with validation in type checker
-* Parse prefix negation
* Faster compression
* Fix polymorphic pattern literals
- Probably by implementing view patterns
--
⑨