|
|
Register | Login |
|
luissoeiro | Jan 13, 2016 |
| #Nim , #Rust, #idris or #haskell, that is the question… #computer #languages | ||
|
|
luissoeiro | Sep 30, 2015 |
| Are there #idris #lang coders out there? i have a question. | ||