kernel.bend
1# gralha-bendquest: the proof-carrying rules kernel of BendQuest, a
2# cooperative RPG. This file only gathers the package's modules; import
3# each one directly:
4#
5# import gralha-bendquest@0.1.0.0/game.bend as Game # items, gear, stats, quests
6# import gralha-bendquest@0.1.0.0/numeric.bend as Numeric # word/natural codecs
7# import gralha-bendquest@0.1.0.0/health.bend as Health # health rules
8# import gralha-bendquest@0.1.0.0/growth.bend as Growth # maximum-health growth
9# import gralha-bendquest@0.1.0.0/rewards.bend as Rewards # the XP loop
10# import gralha-bendquest@0.1.0.0/vitals.bend as Vitals # death and respawn
11#
12# Every def is safe and every law is proved: `bend kernel.bend` prints
13# ALL PROOFS CHECK.
14import Base
15import gralha-bendquest@0.1.0.0/game.bend as Game
16import gralha-bendquest@0.1.0.0/numeric.bend as Numeric
17import gralha-bendquest@0.1.0.0/health.bend as Health
18import gralha-bendquest@0.1.0.0/growth.bend as Growth
19import gralha-bendquest@0.1.0.0/rewards.bend as Rewards
20import gralha-bendquest@0.1.0.0/vitals.bend as Vitals