You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: profile/README.md
+1-1Lines changed: 1 addition & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -6,7 +6,7 @@
6
6
7
7
<br />
8
8
9
-
OPFN is developing a radically simple exokernel and library operating system. Our OS is an "operating function" which is defined as a pure function of its event input stream. The system is based on a principled restriction of lambda calculus using [supercombinators](https://dl.acm.org/doi/10.1145/800068.802129).
9
+
OPFN is developing a purely functional application platform. We call the platform an "operating function" and it is defined as a pure function of its event input stream. The system is based on a principled restriction of lambda calculus using [supercombinators](https://dl.acm.org/doi/10.1145/800068.802129).
10
10
11
11
We hypothesize that by extending typed functional programming to the entire OS environment, small teams will be able to outcompete Big Tech. Our system is fast, provides automatic durable execution, metaprogramming, and has been designed to run with almost no dependencies.
0 commit comments