1 files changed, 17 insertions, 0 deletions
diff --git a/src/example/java/bjc/functypes/FixpointExample.java b/src/example/java/bjc/functypes/FixpointExample.java
new file mode 100644
index 0000000..8d3e658
--- /dev/null
+++ b/src/example/java/bjc/functypes/FixpointExample.java
@@ -0,0 +1,17 @@
+package bjc.functypes;
+
+import java.util.function.*;
+
+public class FixpointExample {
+ public static void main(String[] args) {
+	 BiFunction<Integer, Function<Integer, Integer>, Integer> func 
+	 = (input, self) -> {
+		 if (input <= 1) return 1;
+		 else            return input * self.apply(input - 1);
+	 };
+	 
+	 Function<Integer, Integer> factorial = Fixpoints.fix(func);
+	 
+	 for (int i = 0; i < 10; i++) System.out.println(factorial.apply(i));
+ }
+}