Factorial example

README.md

@@ -4,7 +4,14 @@
 
 Holymer is a programming language
 
-It's pretty boring right now so come back later :D
+## Status
+- [x] Parser
+- [x] Typechecker
+- [x] IR
+- [ ] Optimizer
+- [ ] Complier
+
+The IR output can sometimes be run with scheme interpreter, sometimes.
 
 ## Contributing
 You need to have [Rust Toolchain](https://github.com/rust-lang/rust) installed on your machine before building it.

example/factorial.hlm

@@ -0,0 +1,7 @@
+let factorial = fun (n Int) Int ->
+    if n > 1
+        then n * factorial(n - 1)
+        else 1
+;
+
+factorial(5);