This week's code snippet, Hello World in Idris, is brought to you by Subete and the Sample Programs repo.
module Main
main : IO ()
main = putStrLn "Hello, World!"
Below you'll find an up-to-date list of articles by me on The Renegade Coder. For ease of browsing, emojis let you know the article category (i.e., blog: βοΈ, code: π», meta: π, teach: π)
- π» What Is Operator Overloading in Python?
- π» What Is the Assignment Operator in Python?
- π As a Student, You Are a Lab Rat
- π» What Is an Expression in Python?
- π» What Is a Variable in Python?
- βοΈ A Preview of My Last Semester As a PhD Student
- π» What Is a Condition in Python?
- π» What Is a Loop in Python?
- π» What Is a Constructor in Python?
- π» What Is Snake Case in Python?
Also, here are some fun links you can use to support my work.
This document was automatically rendered on 2024-09-27 using SnakeMD.