Mercurial > hg > Members > Moririn

changeset 3:e95bf956f853

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add file
author kkb
date Tue, 17 Mar 2015 11:29:17 +0900
parents d6133c065de4
children cd262e34ac1a
files doc/GearsOS.mm src/allocate.c
diffstat 1 files changed, 16 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/doc/GearsOS.mm	Sun Mar 15 19:20:35 2015 +0900
+++ b/doc/GearsOS.mm	Tue Mar 17 11:29:17 2015 +0900
@@ -42,6 +42,12 @@
 </node>
 </node>
 </node>
+<node CREATED="1426409063316" ID="ID_1899250473" MODIFIED="1426409071500" TEXT="1.1 List">
+<node CREATED="1426409095822" ID="ID_1785436904" MODIFIED="1426409103076" TEXT="create"/>
+<node CREATED="1426409073273" ID="ID_1742724689" MODIFIED="1426409080204" TEXT="copy"/>
+<node CREATED="1426409081042" ID="ID_182541638" MODIFIED="1426409083564" TEXT="append"/>
+<node CREATED="1426409105800" ID="ID_1064006824" MODIFIED="1426409109036" TEXT="reverse"/>
+</node>
 <node CREATED="1426154724851" ID="ID_295772151" MODIFIED="1426156325656" TEXT="2. DataBase">
 <node CREATED="1426157645997" ID="ID_262918456" MODIFIED="1426157659805" TEXT="AVL Tree"/>
 <node CREATED="1426157661326" ID="ID_563061658" MODIFIED="1426157665276" TEXT="key">
@@ -165,5 +171,15 @@
 <node CREATED="1426154365632" ID="ID_1185664664" MODIFIED="1426154421092" TEXT="NVIDIA"/>
 <node CREATED="1426154401101" ID="ID_1582370381" MODIFIED="1426154406700" TEXT="Power PC"/>
 </node>
+<node CREATED="1426503430814" ID="ID_755387002" MODIFIED="1426503434221" POSITION="left" TEXT="Theory">
+<node CREATED="1426503434222" ID="ID_1097315101" MODIFIED="1426503438416" TEXT="Monad"/>
+<node CREATED="1426503439614" ID="ID_1402116978" MODIFIED="1426503447930" TEXT="Operational semantics"/>
+<node CREATED="1426503451465" ID="ID_838122665" MODIFIED="1426503457120" TEXT="Model Checking"/>
+<node CREATED="1426503458321" ID="ID_672360813" MODIFIED="1426503462888" TEXT="Proof Syste">
+<node CREATED="1426503510409" ID="ID_61060240" MODIFIED="1426503537584" TEXT="Linear Logic"/>
+<node CREATED="1426503540072" ID="ID_92514386" MODIFIED="1426503546144" TEXT="System F"/>
+</node>
+<node CREATED="1426503465113" ID="ID_1206595312" MODIFIED="1426503469936" TEXT="Dependent type"/>
+</node>
 </node>
 </map>