💾 Archived View for soviet.circumlunar.space › ayb › G › index.gmi captured on 2021-12-03 at 14:04:38. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
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.