💾 Archived View for soviet.circumlunar.space › ayb › G › index.gmi captured on 2023-05-24 at 18:11:37. 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.