Lean Subset

pure lazy functional language

Concurrent Clean 1 Extension of
1