robur/homepage-data
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Extra sentence.

Browse source
This commit is contained in:
linse 2017-09-16 19:43:04 -04:00
parent ebc2dff0b6
commit 816a7d3be3
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Technology
View file

@ -120,6 +120,10 @@ infrastructure](https://www.freebsd.org/news/2012-compromise.html),
### Functional programming style
As discussed in the system security paragraph, many security advantages of MirageOS are
based on the choice of a programming language in which problems can be solved in a functional style.
This style allows us to reason about the possible states of a system.
### Performance
OCaml code compiles to native code running in the OCaml runtime, which is