« earlier | later » Page 1 of 1
1ML - core and modules united edit / delete
"1ML is a reboot of ML starting from first-class modules, and unifies core and module layer into one small and consistent language." This cleans up some of the things I don't like about ML-family languages, and in the process gets some of the benefits of dependent types without the toolchain overhead. Interesting...
to 1ml functional language-design ml modules type-systems ... on 12 September 2017
The Mod Archive - Modarchive 3.2beta - A distinctive collection of music edit / delete
All the mods one could possibly want. Includes a torrent containing the whole lot.
« earlier | later » Page 1 of 1
| - modules | |
| 1 | + 1ml |
| 1 | + functional |
| 1 | + language-design |
| 1 | + ml |
| 1 | + music |
| 1 | + type-systems |
tasty by Adam Sampson.