Conheça uma excelente opção em hospedagem de sites com registro de dominios e datacenter.
pure lambda-calculus
Lambda-calculus with no constants, only functions expressed
as lambda abstractions.
Temas relacionados:
Purdue Compiler-Construction Tool Set « Purdue University « pure functional language « pure lambda-calculus » PureLink » Pure Lisp » purely functional language