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.
14	import Base
15	import ./game.bend as Game
16	import ./numeric.bend as Numeric
17	import ./health.bend as Health
18	import ./growth.bend as Growth
19	import ./rewards.bend as Rewards
20	import ./vitals.bend as Vitals