Commit graph

195 commits

Author SHA1 Message Date
linse
c9273fb4a0 Reword Dependency 2017-09-16 19:03:36 -04:00
24131bdb9e more 2017-09-16 23:55:19 +01:00
linse
52641fcece Reword. 2017-09-16 18:51:54 -04:00
linse
d898c14694 rearrange ocaml. 2017-09-16 18:47:55 -04:00
linse
86930814e0 opam 2017-09-16 18:24:39 -04:00
linse
823c7c9967 Reword. 2017-09-16 18:08:57 -04:00
linse
afd52350b9 Reword, comma. 2017-09-16 18:03:32 -04:00
6dd0b6d62b . 2017-09-16 23:00:51 +01:00
5a4d37f0e5 . 2017-09-16 22:59:10 +01:00
5827f1525d . 2017-09-16 22:57:52 +01:00
9b93a54777 . 2017-09-16 22:52:27 +01:00
linse
fae50e7cb7 Csss 2017-09-16 16:33:31 -04:00
linse
6feb1c345b Cssss 2017-09-16 16:32:48 -04:00
linse
6ca8233951 Csssss 2017-09-16 16:30:20 -04:00
linse
2764c4f06b reword. 2017-09-16 16:26:03 -04:00
dd3c0952f8 some examples 2017-09-16 21:14:22 +01:00
linse
0a7f4b339b Technology: Running unikernel 2017-09-16 15:50:01 -04:00
linse
f723ab2f59 Technology: Move Ocaml down. 2017-09-16 15:06:49 -04:00
linse
022be8cf94 Technology: MirageOS 2017-09-16 14:47:44 -04:00
linse
746165ce29 Technology: Intro update 2017-09-16 14:24:22 -04:00
linse
ce47abf11c Move conclusion. 2017-09-16 14:06:47 -04:00
linse
9118b907c8 Some changes. 2017-09-16 14:02:04 -04:00
becd9cddd3 reword 2017-09-16 18:47:45 +01:00
63fe7b0d67 reword 2017-09-16 18:47:45 +01:00
linse
21d75f3021 Some changes to wording. 2017-09-16 13:40:24 -04:00
linse
f8529966b7 Add bio. 2017-09-16 13:25:10 -04:00
7ac00bd572 work 2017-09-16 18:04:53 +01:00
42cdb93dda from pad 2017-09-16 17:52:05 +01:00
053d357fba contact 2017-09-16 17:38:59 +01:00
4b4529d388 . 2017-09-16 17:21:24 +01:00
beefd85e76 . 2017-09-16 16:52:03 +01:00
87ff862539 . 2017-09-16 16:49:37 +01:00
7efbda8d5a . 2017-09-16 16:48:51 +01:00
cb97397946 . 2017-09-16 16:46:56 +01:00
2b85bfe6ed . 2017-09-16 15:16:49 +01:00
e8cfca2372 . 2017-09-15 22:21:26 +01:00
15257d38ca . 2017-09-15 22:21:16 +01:00
cc945bb663 . 2017-09-15 22:13:35 +01:00
8574ef5756 . 2017-09-15 22:12:14 +01:00
187a1885e3 . 2017-09-15 21:38:12 +01:00
6b7f5dadca . 2017-09-15 21:19:19 +01:00
5b49082955 . 2017-09-11 21:17:50 +01:00
5f949cf879 . 2017-09-11 21:09:12 +01:00
f36097fe3e . 2017-09-10 23:29:54 +01:00
f86780d32d . 2017-09-10 23:25:32 +01:00