Inicio Explorar Ayuda
Iniciar sesión
lu
/
lp
espejo de git://github.com/heyLu/lp
Vigilar 1
Destacar 0
Fork 0
Código Incidencias 0 Commits 325 Releases 1 Wiki

Sin Descripción

Árbol: c2a8e6e600
Ramas Etiquetas
lp
/
go
/
examples
/
hello.idr

hello.idr 45B
Histórico Raw 

    main : IO ()
main = putStrLn "Hello, World!"