shithub: MicroHs

Download patch

ref: 54d801890026ee18df58b34071503c5890d4f61a
parent: 30bf0fefd83707e86533acee179d47e3bbbc2195
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Tue Feb 20 12:06:27 EST 2024

More to do

--- a/TODO
+++ b/TODO
@@ -51,3 +51,6 @@
 * Move extra stuff from Data.List into its own module
 * Allow top level pattern bindings
   - Merge EBind and EDef
+* Implement pattern synonyms
+* Implement qualified constraints
+* Add some package concept with a saved cache
--