💾 Archived View for soviet.circumlunar.space › ayb › G › index.gmi captured on 2024-07-09 at 00:17:34. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-03)
-=-=-=-=-=-=-
GGGGG G G GG G G GGGGG
G is a small (WIP) functional programming language based on graph reduction. It is heavily inspired by Clean and its ABC machine. It will have Hindley-Milner type inference - or dependent types later, I am not sure - and hopefully type classes.