Mercurial > hg > Gears > GearsAgda
view doc/ChangeLog.txt @ 469:ed494f4004c9
add RedBlackTree.cbc insert Test
author | ryokka |
---|---|
date | Wed, 27 Dec 2017 18:26:37 +0900 |
parents | 907c69e21e56 |
children |
line wrap: on
line source
Mon Apr 13 20:13:54 JST 2015 kkb version 管理も built in であるべき プログラムを走らせるときに使うコードセグメントの集合は決まってる unix の command に相当 context がすべて知っている必要がある プログラムの走り方で dynamic loding liblary が変わる Reflection を意識したプログラミング Fri Apr 10 17:52:46 JST 2015 Tatsuki IHA context.hにdata segmentの型を定義 code segmentのaddressはcontextが持つ 呼ぶcode segmentはenumで持つ code segmentにはdefaultで一つdata segmentを持つ