Mercurial > hg > Gears > GearsAgda
view doc/ChangeLog.txt @ 231:24da4f217447
fix
author | mir3636 |
---|---|
date | Sun, 22 Jan 2017 18:19:23 +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を持つ