« earlier | later » Page 1 of 1
"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
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 |
| 2 | modules |
| 1 | music |
| 1 | type-systems |
tasty by Adam Sampson.