shithub: MicroHs

Download patch

ref: 54a1b4925158ebcdf9f5d8656ceaea76122c1dc1
parent: 489502a3de33da67f5125b21da3ca21098fd83b4
author: Lennart Augustsson <lennart@augustsson.net>
date: Mon Feb 26 19:09:26 EST 2024

Update TODO

--- a/TODO
+++ b/TODO
@@ -40,3 +40,6 @@
 * Implement pattern synonyms
 * Implement qualified constraints
 * Add some package concept with a saved cache
+* Export the right list functions
+* Improve defaulting
+
--