swarm 0.5.0.0 → 0.6.0.0

raw patch · 693 files changed

+55198/−35327 lines, 693 filesdep +AhoCorasickdep +JuicyPixelsdep +MissingHdep −blaze-htmldep −servantdep −stmdep ~QuickCheckdep ~SHAdep ~aesonnew-component:exe:swarm-docsnew-component:exe:swarm-host-tournamentnew-component:exe:swarm-scenebinary-addedPVP ok

version bump matches the API change (PVP)

Dependencies added: AhoCorasick, JuicyPixels, MissingH, cookie, data-fix, deriving-compat, exceptions, free, nonempty-containers, servant-multipart, sqlite-simple, unicode-show, utf8-string, vty-crossplatform, wai-app-static, wai-extra

Dependencies removed: blaze-html, servant, stm, unification-fd

Dependency ranges changed: QuickCheck, SHA, aeson, array, base, brick, bytestring, colour, commonmark, containers, directory, extra, filepath, fused-effects, githash, hashable, http-client, http-client-tls, http-types, lens, linear, lsp, megaparsec, mtl, palette, parser-combinators, random, servant-docs, split, tasty, tasty-hunit, template-haskell, text, time, transformers, unordered-containers, vector, vty, warp, witch, yaml

API changes (from Hackage documentation)

This diff is very large; some files are shown as “too large to diff”. Download the raw patch for the complete diff.

Files

• CHANGELOG.md +97/−0
• LICENSE +2/−2
• app/Main.hs +59/−97
• app/Swarm/App.hs +153/−0
• app/doc/Main.hs +74/−0
• app/scene/Main.hs +47/−0
• app/tournament/Main.hs +100/−0
• data/about.txt +1/−1
• data/entities.yaml +1289/−1454
• data/recipes.yaml +447/−495
• data/scenarios/00-ORDER.txt +1/−0
• data/scenarios/Challenges/00-ORDER.txt +3/−0
• data/scenarios/Challenges/2048.yaml +50/−57
• data/scenarios/Challenges/Mazes/easy_cave_maze.yaml +14/−14
• data/scenarios/Challenges/Mazes/easy_spiral_maze.yaml +14/−15
• data/scenarios/Challenges/Mazes/invisible_maze.yaml +15/−20
• data/scenarios/Challenges/Mazes/loopy_maze.yaml +15/−20
• data/scenarios/Challenges/Ranching/00-ORDER.txt +2/−0
• data/scenarios/Challenges/Ranching/_beekeeping/queenbee.sw +298/−0
• data/scenarios/Challenges/Ranching/_beekeeping/solution.sw +362/−0
• data/scenarios/Challenges/Ranching/_capture/opponent.sw +1/−4
• data/scenarios/Challenges/Ranching/_fishing/hauler.sw +90/−0
• data/scenarios/Challenges/Ranching/_fishing/shark.sw +24/−0
• data/scenarios/Challenges/Ranching/_fishing/solution.sw +195/−0
• data/scenarios/Challenges/Ranching/_gated-paddock/fence-construction.sw +1/−1
• data/scenarios/Challenges/Ranching/_gated-paddock/meandering-sheep.sw +3/−3
• data/scenarios/Challenges/Ranching/_powerset/setup.sw +3/−7
• data/scenarios/Challenges/Ranching/beekeeping.yaml +452/−0
• data/scenarios/Challenges/Ranching/capture.yaml +6/−7
• data/scenarios/Challenges/Ranching/fishing.yaml +544/−0
• data/scenarios/Challenges/Ranching/gated-paddock.yaml +17/−16
• data/scenarios/Challenges/Ranching/powerset.yaml +14/−15
• data/scenarios/Challenges/Sliding Puzzles/3x3.yaml +31/−31
• data/scenarios/Challenges/Sliding Puzzles/_sliding-puzzle/maintainer.sw +4/−8
• data/scenarios/Challenges/Sliding Puzzles/_sliding-puzzle/setup.sw +3/−3
• data/scenarios/Challenges/Sliding Puzzles/_sliding-puzzle/solution.sw +3/−3
• data/scenarios/Challenges/Sliding Puzzles/_sliding-puzzle/validate-board.sw +3/−3
• data/scenarios/Challenges/Sokoban/Gadgets/no-reverse.yaml +3/−3
• data/scenarios/Challenges/Sokoban/Gadgets/one-way.yaml +3/−3
• data/scenarios/Challenges/Sokoban/Simple/trapdoor.yaml +3/−3
• data/scenarios/Challenges/Sokoban/_foresight/solution.sw +1/−1
• data/scenarios/Challenges/Sokoban/foresight.yaml +7/−8
• data/scenarios/Challenges/_blender/apprehension-checker.sw +1/−1
• data/scenarios/Challenges/_combo-lock/solution.sw +0/−1
• data/scenarios/Challenges/_dimsum/cook.sw +24/−0
• data/scenarios/Challenges/_dimsum/patron.sw +24/−0
• data/scenarios/Challenges/_dimsum/solution.sw +27/−0
• data/scenarios/Challenges/_friend/cat.sw +5/−5
• data/scenarios/Challenges/_gallery/setup.sw +161/−0
• data/scenarios/Challenges/_gallery/solution.sw +117/−0
• data/scenarios/Challenges/_gopher/gopher.sw +2/−2
• data/scenarios/Challenges/_hackman/ghost.sw +1/−15
• data/scenarios/Challenges/_hackman/solution.sw +1/−1
• data/scenarios/Challenges/_hackman/teleport_monitor.sw +22/−0
• data/scenarios/Challenges/_hackman/teleporter.sw +0/−41
• data/scenarios/Challenges/_hanoi/hanoi-solution.sw +6/−6
• data/scenarios/Challenges/_lights-out/assistant.sw +4/−9
• data/scenarios/Challenges/_maypole/monitor.sw +4/−4
• data/scenarios/Challenges/_pack-tetrominoes/solution.sw +67/−0
• data/scenarios/Challenges/_word-search/create-puzzle.sw +1/−1
• data/scenarios/Challenges/_word-search/verify-solution.sw +0/−183
• data/scenarios/Challenges/arbitrage.yaml +17/−17
• data/scenarios/Challenges/blender.yaml +9/−9
• data/scenarios/Challenges/bridge-building.yaml +31/−45
• data/scenarios/Challenges/bucket-brigade.yaml +11/−15
• data/scenarios/Challenges/chess_horse.yaml +6/−7
• data/scenarios/Challenges/combo-lock.yaml +12/−12
• data/scenarios/Challenges/dimsum.yaml +157/−0
• data/scenarios/Challenges/friend.yaml +4/−7
• data/scenarios/Challenges/gallery.yaml +263/−0
• data/scenarios/Challenges/gopher.yaml +5/−5
• data/scenarios/Challenges/hackman.yaml +70/−47
• data/scenarios/Challenges/hanoi.yaml +28/−31
• data/scenarios/Challenges/ice-cream.yaml +13/−15
• data/scenarios/Challenges/lights-out.yaml +3/−5
• data/scenarios/Challenges/maypole.yaml +4/−5
• data/scenarios/Challenges/pack-tetrominoes.yaml +147/−0
• data/scenarios/Challenges/teleport.yaml +6/−6
• data/scenarios/Challenges/wave.yaml +4/−5
• data/scenarios/Challenges/wolf-goat-cabbage.yaml +8/−8
• data/scenarios/Challenges/word-search.yaml +17/−191
• data/scenarios/Fun/00-ORDER.txt +2/−0
• data/scenarios/Fun/GoL.yaml +5/−5
• data/scenarios/Fun/_logo-burst/coordinator.sw +1/−1
• data/scenarios/Fun/_logo-burst/drone.sw +2/−2
• data/scenarios/Fun/_snake/snake.sw +160/−0
• data/scenarios/Fun/_snake/spawn.sw +35/−0
• data/scenarios/Fun/horton.yaml +96/−0
• data/scenarios/Fun/logo-burst.yaml +10/−11
• data/scenarios/Fun/snake.yaml +122/−0
• data/scenarios/Mechanics/active-trapdoor.yaml +2/−2
• data/scenarios/Speedruns/curry.yaml +5/−4
• data/scenarios/Speedruns/forester.yaml +5/−4
• data/scenarios/Speedruns/mithril.yaml +5/−4
• data/scenarios/Testing/00-ORDER.txt +18/−0
• data/scenarios/Testing/1007-use-command.yaml +34/−34
• data/scenarios/Testing/1024-sand.yaml +2/−2
• data/scenarios/Testing/1034-custom-attributes.yaml +116/−8
• data/scenarios/Testing/1138-structures/flip-and-rotate.yaml +1/−1
• data/scenarios/Testing/1138-structures/nested-structure.yaml +1/−1
• data/scenarios/Testing/1138-structures/sibling-precedence.yaml +5/−5
• data/scenarios/Testing/1140-detect-command.yaml +10/−10
• data/scenarios/Testing/1157-drill-return-value.yaml +12/−12
• data/scenarios/Testing/1171-chirp-command.yaml +7/−7
• data/scenarios/Testing/1171-resonate-command.yaml +5/−5
• data/scenarios/Testing/1171-sniff-command.yaml +7/−7
• data/scenarios/Testing/1207-scout-command.yaml +11/−11
• data/scenarios/Testing/1218-stride-command.yaml +27/−27
• data/scenarios/Testing/1234-push-command.yaml +14/−14
• data/scenarios/Testing/1256-halt-command.yaml +10/−11
• data/scenarios/Testing/1262-display-device-commands.yaml +54/−0
• data/scenarios/Testing/1295-density-command.yaml +6/−6
• data/scenarios/Testing/1320-world-DSL/00-ORDER.txt +2/−0
• data/scenarios/Testing/1320-world-DSL/constant.yaml +3/−3
• data/scenarios/Testing/1320-world-DSL/coords.yaml +22/−0
• data/scenarios/Testing/1320-world-DSL/erase.yaml +3/−3
• data/scenarios/Testing/1320-world-DSL/override.yaml +3/−3
• data/scenarios/Testing/1320-world-DSL/reflect.yaml +46/−0
• data/scenarios/Testing/1322-wait-with-instant.yaml +72/−0
• data/scenarios/Testing/1341-command-count.yaml +17/−17
• data/scenarios/Testing/1355-combustion.yaml +63/−63
• data/scenarios/Testing/1356-portals/automatic-waypoint-patrol.yaml +3/−3
• data/scenarios/Testing/1356-portals/portals-and-waypoints.yaml +4/−4
• data/scenarios/Testing/1356-portals/portals-flip-and-rotate.yaml +5/−5
• data/scenarios/Testing/1379-single-world-portal-reorientation.yaml +10/−10
• data/scenarios/Testing/1399-backup-command.yaml +4/−4
• data/scenarios/Testing/1430-built-robot-ownership.yaml +10/−10
• data/scenarios/Testing/144-subworlds/basic-subworld.yaml +6/−6
• data/scenarios/Testing/144-subworlds/spatial-consistency-enforcement.yaml +3/−3
• data/scenarios/Testing/144-subworlds/subworld-located-robots.yaml +6/−9
• data/scenarios/Testing/144-subworlds/subworld-mapped-robots.yaml +8/−8
• data/scenarios/Testing/144-subworlds/subworld-shared-structures.yaml +39/−42
• data/scenarios/Testing/1533-sow-command.yaml +195/−0
• data/scenarios/Testing/1533-sow-seed-maturation.yaml +101/−0
• data/scenarios/Testing/1535-ping/1535-in-range.yaml +6/−6
• data/scenarios/Testing/1535-ping/1535-out-of-range.yaml +6/−6
• data/scenarios/Testing/1536-custom-unwalkable-entities.yaml +5/−9
• data/scenarios/Testing/1569-pathfinding-cache/00-ORDER.txt +3/−0
• data/scenarios/Testing/1569-pathfinding-cache/1569-cache-invalidation-distance-limit.yaml +127/−0
• data/scenarios/Testing/1569-pathfinding-cache/1569-cache-invalidation-modes.yaml +176/−0
• data/scenarios/Testing/1569-pathfinding-cache/1569-harvest-batch.yaml +60/−0
• data/scenarios/Testing/1575-structure-recognizer/00-ORDER.txt +16/−0
• data/scenarios/Testing/1575-structure-recognizer/1575-bounding-box-overlap.yaml +83/−0
• data/scenarios/Testing/1575-structure-recognizer/1575-browse-structures.yaml +130/−0
• data/scenarios/Testing/1575-structure-recognizer/1575-construction-count.yaml +69/−0
• data/scenarios/Testing/1575-structure-recognizer/1575-ensure-disjoint.yaml +85/−0
• data/scenarios/Testing/1575-structure-recognizer/1575-ensure-single-recognition.yaml +80/−0
• data/scenarios/Testing/1575-structure-recognizer/1575-floorplan-command.yaml +75/−0
• data/scenarios/Testing/1575-structure-recognizer/1575-handle-overlapping.yaml +75/−0
• data/scenarios/Testing/1575-structure-recognizer/1575-interior-entity-placement.yaml +109/−0
• data/scenarios/Testing/1575-structure-recognizer/1575-nested-structure-definition.yaml +100/−0
• data/scenarios/Testing/1575-structure-recognizer/1575-overlapping-tiebreaker-by-largest.yaml +71/−0
• data/scenarios/Testing/1575-structure-recognizer/1575-overlapping-tiebreaker-by-location.yaml +76/−0
• data/scenarios/Testing/1575-structure-recognizer/1575-placement-occlusion.yaml +89/−0
• data/scenarios/Testing/1575-structure-recognizer/1575-remove-structure.yaml +65/−0
• data/scenarios/Testing/1575-structure-recognizer/1575-swap-structure.yaml +115/−0
• data/scenarios/Testing/1575-structure-recognizer/1644-rotated-preplacement-recognition.yaml +47/−0
• data/scenarios/Testing/1575-structure-recognizer/1644-rotated-recognition.yaml +51/−0
• data/scenarios/Testing/1598-detect-entity-change.yaml +109/−0
• data/scenarios/Testing/1631-tags.yaml +130/−0
• data/scenarios/Testing/1634-message-colors.yaml +40/−0
• data/scenarios/Testing/1642-biomes.yaml +102/−0
• data/scenarios/Testing/1681-pushable-entity.yaml +56/−0
• data/scenarios/Testing/1721-custom-walkable-entities.yaml +86/−0
• data/scenarios/Testing/1721-walkability-whitelist-path-cache.yaml +101/−0
• data/scenarios/Testing/1747-volume-command.yaml +56/−0
• data/scenarios/Testing/1775-custom-terrain.yaml +58/−0
• data/scenarios/Testing/1777-capability-cost.yaml +94/−0
• data/scenarios/Testing/1780-structure-merge-expansion/00-ORDER.txt +3/−0
• data/scenarios/Testing/1780-structure-merge-expansion/nonoverlapping-structure-merge.yaml +59/−0
• data/scenarios/Testing/1780-structure-merge-expansion/root-map-expansion.yaml +30/−0
• data/scenarios/Testing/1780-structure-merge-expansion/structure-composition.yaml +99/−0
• data/scenarios/Testing/201-require/00-ORDER.txt +1/−0
• data/scenarios/Testing/201-require/1664-require-system-robot-children.yaml +51/−0
• data/scenarios/Testing/201-require/201-require-device-creative.yaml +2/−2
• data/scenarios/Testing/201-require/201-require-device-creative1.yaml +5/−5
• data/scenarios/Testing/201-require/201-require-device.yaml +2/−2
• data/scenarios/Testing/201-require/201-require-entities-def.yaml +2/−2
• data/scenarios/Testing/201-require/201-require-entities.yaml +2/−2
• data/scenarios/Testing/201-require/533-reprogram-simple.yaml +2/−2
• data/scenarios/Testing/201-require/533-reprogram.yaml +2/−2
• data/scenarios/Testing/231-requirements/00-ORDER.txt +1/−0
• data/scenarios/Testing/231-requirements/231-command-transformer-reqs.yaml +36/−0
• data/scenarios/Testing/373-drill.yaml +19/−28
• data/scenarios/Testing/378-objectives.yaml +1/−1
• data/scenarios/Testing/394-build-drill.yaml +2/−2
• data/scenarios/Testing/397-wrong-missing.yaml +8/−8
• data/scenarios/Testing/428-drowning-destroy.yaml +4/−5
• data/scenarios/Testing/475-wait-one.yaml +4/−4
• data/scenarios/Testing/479-atomic-race.yaml +9/−9
• data/scenarios/Testing/479-atomic.yaml +8/−8
• data/scenarios/Testing/490-harvest.yaml +2/−2
• data/scenarios/Testing/504-teleport-self.yaml +3/−3
• data/scenarios/Testing/508-capability-subset.yaml +6/−6
• data/scenarios/Testing/555-teleport-location.yaml +4/−4
• data/scenarios/Testing/562-lodestone.yaml +13/−18
• data/scenarios/Testing/684-swap.yaml +4/−4
• data/scenarios/Testing/687-watch-command.yaml +8/−9
• data/scenarios/Testing/699-movement-fail/699-move-blocked.yaml +3/−3
• data/scenarios/Testing/699-movement-fail/699-move-liquid.yaml +4/−4
• data/scenarios/Testing/699-movement-fail/699-teleport-blocked.yaml +5/−5
• data/scenarios/Testing/710-multi-robot.yaml +28/−29
• data/scenarios/Testing/795-prerequisite/795-prerequisite-and.yaml +1/−1
• data/scenarios/Testing/795-prerequisite/795-prerequisite-cycle-with-not.yaml +1/−1
• data/scenarios/Testing/795-prerequisite/795-prerequisite-mutually-exclusive.yaml +6/−7
• data/scenarios/Testing/795-prerequisite/795-prerequisite-or.yaml +1/−1
• data/scenarios/Testing/836-pathfinding/836-automatic-waypoint-navigation.yaml +6/−6
• data/scenarios/Testing/836-pathfinding/836-no-path-exists1.yaml +2/−3
• data/scenarios/Testing/836-pathfinding/836-no-path-exists2.yaml +2/−2
• data/scenarios/Testing/836-pathfinding/836-path-exists-distance-limit-reachable.yaml +1/−1
• data/scenarios/Testing/836-pathfinding/836-path-exists-distance-limit-unreachable.yaml +1/−2
• data/scenarios/Testing/836-pathfinding/836-path-exists-find-entity-unwalkable.yaml +2/−2
• data/scenarios/Testing/836-pathfinding/836-path-exists-find-entity.yaml +2/−2
• data/scenarios/Testing/836-pathfinding/836-path-exists-find-location.yaml +2/−2
• data/scenarios/Testing/836-pathfinding/_836-automatic-waypoint-navigation/patrol.sw +2/−1
• data/scenarios/Testing/836-pathfinding/_836-path-exists/find-entity-solution.sw +2/−1
• data/scenarios/Testing/836-pathfinding/_836-path-exists/find-entity-unwalkable-solution.sw +2/−1
• data/scenarios/Testing/836-pathfinding/_836-path-exists/find-location-solution.sw +2/−1
• data/scenarios/Testing/858-inventory/858-counting-objective.yaml +1/−1
• data/scenarios/Testing/858-inventory/858-nonpossession-objective.yaml +1/−1
• data/scenarios/Testing/858-inventory/858-possession-objective.yaml +1/−1
• data/scenarios/Testing/920-meet.yaml +20/−8
• data/scenarios/Testing/955-heading.yaml +1/−1
• data/scenarios/Testing/956-GPS.yaml +4/−5
• data/scenarios/Testing/958-isempty.yaml +3/−3
• data/scenarios/Testing/961-custom-capabilities.yaml +6/−6
• data/scenarios/Testing/Achievements/RobotIntoWater.yaml +2/−2
• data/scenarios/Testing/_Validation/1138-nonexistent-nested-structure.yaml +55/−0
• data/scenarios/Testing/_Validation/1356-ambiguous-portal-entrance.yaml +3/−3
• data/scenarios/Testing/_Validation/1356-ambiguous-portal-exit.yaml +3/−3
• data/scenarios/Testing/_Validation/1356-waypoint-uniqueness-enforcement.yaml +2/−2
• data/scenarios/Testing/_Validation/144-spatial-consistency-enforcement.yaml +3/−3
• data/scenarios/Testing/_Validation/144-subworld-uniqueness-enforcement-default.yaml +4/−4
• data/scenarios/Testing/_Validation/144-subworld-uniqueness-enforcement-named.yaml +4/−4
• data/scenarios/Testing/_Validation/1575-recognized-placements-disallow-reorientation.yaml +40/−0
• data/scenarios/Testing/_Validation/1632-entity-attributes.yaml +19/−0
• data/scenarios/Testing/_Validation/1655-display-characters.yaml +18/−0
• data/scenarios/Testing/_Validation/1678-redundant-structure-recognition-symmetries.yaml +29/−0
• data/scenarios/Testing/_Validation/1775-invalid-terrain-attr.yaml +27/−0
• data/scenarios/Testing/_Validation/1775-invalid-terrain-reference.yaml +27/−0
• data/scenarios/Testing/_Validation/1777-capability-cost-bad-entity-reference.yaml +39/−0
• data/scenarios/Testing/_Validation/1875-robot-subworld-location.yaml +16/−0
• data/scenarios/Testing/_Validation/1935-rectangular-area.yaml +12/−0
• data/scenarios/Testing/_Validation/1938-palette-usage.yaml +13/−0
• data/scenarios/Testing/_Validation/795-prerequisite-cycle.yaml +1/−1
• data/scenarios/Testing/_Validation/795-prerequisite-nonexistent-reference.yaml +1/−1
• data/scenarios/Testing/_Validation/795-prerequisite-self-reference.yaml +1/−1
• data/scenarios/Tutorials/backstory.yaml +8/−28
• data/scenarios/Tutorials/bind2.yaml +6/−6
• data/scenarios/Tutorials/build.yaml +3/−7
• data/scenarios/Tutorials/conditionals.yaml +10/−10
• data/scenarios/Tutorials/craft.yaml +4/−8
• data/scenarios/Tutorials/crash-secret.sw +18/−9
• data/scenarios/Tutorials/crash.yaml +3/−4
• data/scenarios/Tutorials/def.yaml +4/−9
• data/scenarios/Tutorials/equip.yaml +3/−9
• data/scenarios/Tutorials/farming.sw +5/−5
• data/scenarios/Tutorials/farming.yaml +4/−12
• data/scenarios/Tutorials/give.yaml +2/−4
• data/scenarios/Tutorials/grab.yaml +4/−8
• data/scenarios/Tutorials/lambda.yaml +5/−10
• data/scenarios/Tutorials/move.yaml +23/−43
• data/scenarios/Tutorials/place.yaml +12/−18
• data/scenarios/Tutorials/require.yaml +7/−20
• data/scenarios/Tutorials/requireinv.yaml +4/−11
• data/scenarios/Tutorials/scan.yaml +4/−9
• data/scenarios/Tutorials/type-errors.yaml +5/−10
• data/scenarios/Tutorials/types.yaml +7/−18
• data/scenarios/Tutorials/world101.sw +4/−4
• data/scenarios/Tutorials/world101.yaml +11/−37
• data/scenarios/Vignettes/_roadway/coordinator.sw +1/−1
• data/scenarios/Vignettes/_roadway/drone.sw +21/−21
• data/scenarios/Vignettes/roadway.yaml +53/−58
• data/scenarios/World Examples/00-ORDER.txt +4/−0
• data/scenarios/World Examples/clearing.yaml +22/−0
• data/scenarios/World Examples/rorschach.yaml +21/−0
• data/scenarios/World Examples/stretch.yaml +16/−0
• data/scenarios/World Examples/translate.yaml +24/−0
• data/scenarios/blank.yaml +2/−2
• data/scenarios/classic.yaml +2/−2
• data/scenarios/creative.yaml +3/−4
• data/terrains.yaml +16/−0
• data/test/standalone-topography/checkerboard.png binary
• data/test/standalone-topography/checkerboard.yaml +43/−0
• data/test/standalone-topography/circle-and-crosses.png binary
• data/test/standalone-topography/circle-and-crosses.yaml +59/−0
• data/worlds/classic.world +1/−0
• docs/image/sublibrary-graph.svg +127/−0
• editors/emacs/swarm-mode.el +170/−125
• editors/vim/swarm.vim +6/−6
• editors/vscode/syntaxes/swarm.tmLanguage.json +0/−111
• editors/vscode/syntaxes/swarm.tmLanguage.yaml +201/−0
• example/BFS-clear.sw +10/−10
• example/cat.sw +3/−3
• example/dfs.sw +2/−2
• example/fact.sw +2/−2
• example/list.sw +31/−31
• example/maybe.sw +9/−0
• example/multi-key-handler.sw +3/−3
• example/omega.sw +5/−0
• example/pilotmode.sw +2/−2
• example/rectypes.sw +107/−0
• example/wander.sw +2/−2
• src/Control/Carrier/Accum/FixedStrict.hs +0/−139
• src/Data/BoolExpr/Simplify.hs +0/−60
• src/Swarm/App.hs +0/−140
• src/Swarm/Constant.hs +0/−27
• src/Swarm/Doc/Gen.hs +0/−597
• src/Swarm/Doc/Pedagogy.hs +0/−248
• src/Swarm/Doc/Schema/Arrangement.hs +0/−42
• src/Swarm/Doc/Schema/Parse.hs +0/−52
• src/Swarm/Doc/Schema/Refined.hs +0/−145
• src/Swarm/Doc/Schema/Render.hs +0/−194
• src/Swarm/Doc/Schema/SchemaType.hs +0/−38
• src/Swarm/Doc/Util.hs +0/−22
• src/Swarm/Game/Achievement/Attainment.hs +0/−61
• src/Swarm/Game/Achievement/Definitions.hs +0/−120
• src/Swarm/Game/Achievement/Description.hs +0/−97
• src/Swarm/Game/Achievement/Persistence.hs +0/−64
• src/Swarm/Game/CESK.hs +0/−429
• src/Swarm/Game/Display.hs +0/−203
• src/Swarm/Game/Entity.hs +0/−713
• src/Swarm/Game/Exception.hs +0/−187
• src/Swarm/Game/Failure.hs +0/−141
• src/Swarm/Game/Location.hs +0/−236
• src/Swarm/Game/Recipe.hs +0/−267
• src/Swarm/Game/ResourceLoading.hs +0/−152
• src/Swarm/Game/Robot.hs +0/−656
• src/Swarm/Game/Scenario.hs +0/−305
• src/Swarm/Game/Scenario/Objective.hs +0/−209
• src/Swarm/Game/Scenario/Objective/Graph.hs +0/−152
• src/Swarm/Game/Scenario/Objective/Logic.hs +0/−49
• src/Swarm/Game/Scenario/Objective/Validation.hs +0/−51
• src/Swarm/Game/Scenario/Objective/WinCheck.hs +0/−96
• src/Swarm/Game/Scenario/RobotLookup.hs +0/−60
• src/Swarm/Game/Scenario/Scoring/Best.hs +0/−164
• src/Swarm/Game/Scenario/Scoring/CodeSize.hs +0/−35
• src/Swarm/Game/Scenario/Scoring/ConcreteMetrics.hs +0/−60
• src/Swarm/Game/Scenario/Scoring/GenericMetrics.hs +0/−64
• src/Swarm/Game/Scenario/Status.hs +0/−135
• src/Swarm/Game/Scenario/Style.hs +0/−53
• src/Swarm/Game/Scenario/Topography/Area.hs +0/−55
• src/Swarm/Game/Scenario/Topography/Cell.hs +0/−125
• src/Swarm/Game/Scenario/Topography/EntityFacade.hs +0/−35
• src/Swarm/Game/Scenario/Topography/Navigation/Portal.hs +0/−316
• src/Swarm/Game/Scenario/Topography/Navigation/Util.hs +0/−44
• src/Swarm/Game/Scenario/Topography/Navigation/Waypoint.hs +0/−90
• src/Swarm/Game/Scenario/Topography/Placement.hs +0/−79
• src/Swarm/Game/Scenario/Topography/Structure.hs +0/−155
• src/Swarm/Game/Scenario/Topography/WorldDescription.hs +0/−117
• src/Swarm/Game/Scenario/Topography/WorldPalette.hs +0/−128
• src/Swarm/Game/ScenarioInfo.hs +0/−286
• src/Swarm/Game/State.hs +0/−1432
• src/Swarm/Game/Step.hs +0/−2870
• src/Swarm/Game/Step/Combustion.hs +0/−227
• src/Swarm/Game/Step/Pathfinding.hs +0/−137
• src/Swarm/Game/Step/Util.hs +0/−224
• src/Swarm/Game/Terrain.hs +0/−67
• src/Swarm/Game/Universe.hs +0/−79
• src/Swarm/Game/Value.hs +0/−66
• src/Swarm/Game/World.hs +0/−328
• src/Swarm/Game/World/Abstract.hs +0/−102
• src/Swarm/Game/World/Compile.hs +0/−126
• src/Swarm/Game/World/Coords.hs +0/−48
• src/Swarm/Game/World/Eval.hs +0/−39
• src/Swarm/Game/World/Gen.hs +0/−79
• src/Swarm/Game/World/Interpret.hs +0/−87
• src/Swarm/Game/World/Load.hs +0/−65
• src/Swarm/Game/World/Modify.hs +0/−40
• src/Swarm/Game/World/Parse.hs +0/−263
• src/Swarm/Game/World/Render.hs +0/−65
• src/Swarm/Game/World/Syntax.hs +0/−119
• src/Swarm/Game/World/Typecheck.hs +0/−687
• src/Swarm/Language/Capability.hs +0/−325
• src/Swarm/Language/Context.hs +0/−79
• src/Swarm/Language/Direction.hs +0/−116
• src/Swarm/Language/Elaborate.hs +0/−56
• src/Swarm/Language/Key.hs +0/−137
• src/Swarm/Language/LSP.hs +0/−170
• src/Swarm/Language/LSP/Hover.hs +0/−276
• src/Swarm/Language/LSP/VarUsage.hs +0/−110
• src/Swarm/Language/Module.hs +0/−47
• src/Swarm/Language/Parse.hs +0/−585
• src/Swarm/Language/Parse/QQ.hs +0/−39
• src/Swarm/Language/Pipeline.hs +0/−94
• src/Swarm/Language/Pipeline/QQ.hs +0/−57
• src/Swarm/Language/Pretty.hs +0/−447
• src/Swarm/Language/Requirement.hs +0/−250
• src/Swarm/Language/Syntax.hs +0/−1177
• src/Swarm/Language/Text/Markdown.hs +0/−342
• src/Swarm/Language/Typecheck.hs +0/−1122
• src/Swarm/Language/Typecheck/Unify.hs +0/−90
• src/Swarm/Language/Typed.hs +0/−22
• src/Swarm/Language/Types.hs +0/−389
• src/Swarm/Language/Value.hs +0/−128
• src/Swarm/Log.hs +0/−70
• src/Swarm/ReadableIORef.hs +0/−17
• src/Swarm/TUI/Border.hs +0/−129
• src/Swarm/TUI/Controller.hs +0/−1477
• src/Swarm/TUI/Controller/Util.hs +0/−96
• src/Swarm/TUI/Editor/Controller.hs too large to diff
• src/Swarm/TUI/Editor/Json.hs too large to diff
• src/Swarm/TUI/Editor/Masking.hs too large to diff
• src/Swarm/TUI/Editor/Model.hs too large to diff
• src/Swarm/TUI/Editor/Palette.hs too large to diff
• src/Swarm/TUI/Editor/Util.hs too large to diff
• src/Swarm/TUI/Editor/View.hs too large to diff
• src/Swarm/TUI/Inventory/Sorting.hs too large to diff
• src/Swarm/TUI/Launch/Controller.hs too large to diff
• src/Swarm/TUI/Launch/Model.hs too large to diff
• src/Swarm/TUI/Launch/Prep.hs too large to diff
• src/Swarm/TUI/Launch/View.hs too large to diff
• src/Swarm/TUI/List.hs too large to diff
• src/Swarm/TUI/Model.hs too large to diff
• src/Swarm/TUI/Model/Goal.hs too large to diff
• src/Swarm/TUI/Model/Menu.hs too large to diff
• src/Swarm/TUI/Model/Name.hs too large to diff
• src/Swarm/TUI/Model/Repl.hs too large to diff
• src/Swarm/TUI/Model/StateUpdate.hs too large to diff
• src/Swarm/TUI/Model/UI.hs too large to diff
• src/Swarm/TUI/Panel.hs too large to diff
• src/Swarm/TUI/View.hs too large to diff
• src/Swarm/TUI/View/Achievement.hs too large to diff
• src/Swarm/TUI/View/Attribute/Attr.hs too large to diff
• src/Swarm/TUI/View/Attribute/CustomStyling.hs too large to diff
• src/Swarm/TUI/View/Attribute/Util.hs too large to diff
• src/Swarm/TUI/View/CellDisplay.hs too large to diff
• src/Swarm/TUI/View/Objective.hs too large to diff
• src/Swarm/TUI/View/Util.hs too large to diff
• src/Swarm/Util.hs too large to diff
• src/Swarm/Util/Effect.hs too large to diff
• src/Swarm/Util/Erasable.hs too large to diff
• src/Swarm/Util/Lens.hs too large to diff
• src/Swarm/Util/Parse.hs too large to diff
• src/Swarm/Util/UnitInterval.hs too large to diff
• src/Swarm/Util/WindowedCounter.hs too large to diff
• src/Swarm/Util/Yaml.hs too large to diff
• src/Swarm/Version.hs too large to diff
• src/Swarm/Web.hs too large to diff
• src/swarm-doc/Swarm/Doc/Command.hs too large to diff
• src/swarm-doc/Swarm/Doc/Gen.hs too large to diff
• src/swarm-doc/Swarm/Doc/Keyword.hs too large to diff
• src/swarm-doc/Swarm/Doc/Pedagogy.hs too large to diff
• src/swarm-doc/Swarm/Doc/Schema/Arrangement.hs too large to diff
• src/swarm-doc/Swarm/Doc/Schema/Parse.hs too large to diff
• src/swarm-doc/Swarm/Doc/Schema/Refined.hs too large to diff
• src/swarm-doc/Swarm/Doc/Schema/Render.hs too large to diff
• src/swarm-doc/Swarm/Doc/Schema/SchemaType.hs too large to diff
• src/swarm-doc/Swarm/Doc/Util.hs too large to diff
• src/swarm-doc/Swarm/Doc/Wiki/Cheatsheet.hs too large to diff
• src/swarm-doc/Swarm/Doc/Wiki/Matrix.hs too large to diff
• src/swarm-doc/Swarm/Doc/Wiki/Util.hs too large to diff
• src/swarm-engine/Swarm/Effect.hs too large to diff
• src/swarm-engine/Swarm/Effect/Time.hs too large to diff
• src/swarm-engine/Swarm/Game/Achievement/Attainment.hs too large to diff
• src/swarm-engine/Swarm/Game/Achievement/Description.hs too large to diff
• src/swarm-engine/Swarm/Game/Achievement/Persistence.hs too large to diff
• src/swarm-engine/Swarm/Game/CESK.hs too large to diff
• src/swarm-engine/Swarm/Game/Exception.hs too large to diff
• src/swarm-engine/Swarm/Game/Robot/Activity.hs too large to diff
• src/swarm-engine/Swarm/Game/Robot/Concrete.hs too large to diff
• src/swarm-engine/Swarm/Game/Scenario/Objective/WinCheck.hs too large to diff
• src/swarm-engine/Swarm/Game/Scenario/Scoring/Best.hs too large to diff
• src/swarm-engine/Swarm/Game/Scenario/Scoring/CodeSize.hs too large to diff
• src/swarm-engine/Swarm/Game/Scenario/Scoring/ConcreteMetrics.hs too large to diff
• src/swarm-engine/Swarm/Game/Scenario/Scoring/GenericMetrics.hs too large to diff
• src/swarm-engine/Swarm/Game/Scenario/Status.hs too large to diff
• src/swarm-engine/Swarm/Game/Scenario/Topography/Navigation/Util.hs too large to diff
• src/swarm-engine/Swarm/Game/Scenario/Topography/Structure/Recognition/Tracking.hs too large to diff
• src/swarm-engine/Swarm/Game/ScenarioInfo.hs too large to diff
• src/swarm-engine/Swarm/Game/State.hs too large to diff
• src/swarm-engine/Swarm/Game/State/Initialize.hs too large to diff
• src/swarm-engine/Swarm/Game/State/Robot.hs too large to diff
• src/swarm-engine/Swarm/Game/State/Runtime.hs too large to diff
• src/swarm-engine/Swarm/Game/State/Substate.hs too large to diff
• src/swarm-engine/Swarm/Game/Step.hs too large to diff
• src/swarm-engine/Swarm/Game/Step/Arithmetic.hs too large to diff
• src/swarm-engine/Swarm/Game/Step/Combustion.hs too large to diff
• src/swarm-engine/Swarm/Game/Step/Const.hs too large to diff
• src/swarm-engine/Swarm/Game/Step/Flood.hs too large to diff
• src/swarm-engine/Swarm/Game/Step/Path/Cache.hs too large to diff
• src/swarm-engine/Swarm/Game/Step/Path/Cache/DistanceLimit.hs too large to diff
• src/swarm-engine/Swarm/Game/Step/Path/Finding.hs too large to diff
• src/swarm-engine/Swarm/Game/Step/Path/Type.hs too large to diff
• src/swarm-engine/Swarm/Game/Step/Path/Walkability.hs too large to diff
• src/swarm-engine/Swarm/Game/Step/RobotStepState.hs too large to diff
• src/swarm-engine/Swarm/Game/Step/Util.hs too large to diff
• src/swarm-engine/Swarm/Game/Step/Util/Command.hs too large to diff
• src/swarm-engine/Swarm/Game/Step/Util/Inspect.hs too large to diff
• src/swarm-engine/Swarm/Game/Step/Validate.hs too large to diff
• src/swarm-engine/Swarm/Game/Tick.hs too large to diff
• src/swarm-engine/Swarm/Game/Value.hs too large to diff
• src/swarm-engine/Swarm/Log.hs too large to diff
• src/swarm-engine/Swarm/Version.hs too large to diff
• src/swarm-lang/Swarm/Effect/Unify.hs too large to diff
• src/swarm-lang/Swarm/Effect/Unify/Common.hs too large to diff
• src/swarm-lang/Swarm/Effect/Unify/Fast.hs too large to diff
• src/swarm-lang/Swarm/Effect/Unify/Naive.hs too large to diff
• src/swarm-lang/Swarm/Language/Capability.hs too large to diff
• src/swarm-lang/Swarm/Language/Context.hs too large to diff
• src/swarm-lang/Swarm/Language/Elaborate.hs too large to diff
• src/swarm-lang/Swarm/Language/Format.hs too large to diff
• src/swarm-lang/Swarm/Language/JSON.hs too large to diff
• src/swarm-lang/Swarm/Language/Key.hs too large to diff
• src/swarm-lang/Swarm/Language/Kindcheck.hs too large to diff
• src/swarm-lang/Swarm/Language/LSP.hs too large to diff
• src/swarm-lang/Swarm/Language/LSP/Hover.hs too large to diff
• src/swarm-lang/Swarm/Language/LSP/VarUsage.hs too large to diff
• src/swarm-lang/Swarm/Language/Parser.hs too large to diff
• src/swarm-lang/Swarm/Language/Parser/Comment.hs too large to diff
• src/swarm-lang/Swarm/Language/Parser/Core.hs too large to diff
• src/swarm-lang/Swarm/Language/Parser/Lex.hs too large to diff
• src/swarm-lang/Swarm/Language/Parser/QQ.hs too large to diff
• src/swarm-lang/Swarm/Language/Parser/Record.hs too large to diff
• src/swarm-lang/Swarm/Language/Parser/Term.hs too large to diff
• src/swarm-lang/Swarm/Language/Parser/Type.hs too large to diff
• src/swarm-lang/Swarm/Language/Parser/Util.hs too large to diff
• src/swarm-lang/Swarm/Language/Pipeline.hs too large to diff
• src/swarm-lang/Swarm/Language/Pipeline/QQ.hs too large to diff
• src/swarm-lang/Swarm/Language/Pretty.hs too large to diff
• src/swarm-lang/Swarm/Language/Requirements.hs too large to diff
• src/swarm-lang/Swarm/Language/Requirements/Analysis.hs too large to diff
• src/swarm-lang/Swarm/Language/Requirements/Type.hs too large to diff
• src/swarm-lang/Swarm/Language/Syntax.hs too large to diff
• src/swarm-lang/Swarm/Language/Syntax/AST.hs too large to diff
• src/swarm-lang/Swarm/Language/Syntax/CommandMetadata.hs too large to diff
• src/swarm-lang/Swarm/Language/Syntax/Comments.hs too large to diff
• src/swarm-lang/Swarm/Language/Syntax/Constants.hs too large to diff
• src/swarm-lang/Swarm/Language/Syntax/Loc.hs too large to diff
• src/swarm-lang/Swarm/Language/Syntax/Pattern.hs too large to diff
• src/swarm-lang/Swarm/Language/Syntax/Util.hs too large to diff
• src/swarm-lang/Swarm/Language/Text/Markdown.hs too large to diff
• src/swarm-lang/Swarm/Language/Typecheck.hs too large to diff
• src/swarm-lang/Swarm/Language/Typed.hs too large to diff
• src/swarm-lang/Swarm/Language/Types.hs too large to diff
• src/swarm-lang/Swarm/Language/Value.hs too large to diff
• src/swarm-scenario/Swarm/Constant.hs too large to diff
• src/swarm-scenario/Swarm/Game/Achievement/Definitions.hs too large to diff
• src/swarm-scenario/Swarm/Game/Device.hs too large to diff
• src/swarm-scenario/Swarm/Game/Display.hs too large to diff
• src/swarm-scenario/Swarm/Game/Entity.hs too large to diff
• src/swarm-scenario/Swarm/Game/Entity/Cosmetic.hs too large to diff
• src/swarm-scenario/Swarm/Game/Entity/Cosmetic/Assignment.hs too large to diff
• src/swarm-scenario/Swarm/Game/Failure.hs too large to diff
• src/swarm-scenario/Swarm/Game/Ingredients.hs too large to diff
• src/swarm-scenario/Swarm/Game/Land.hs too large to diff
• src/swarm-scenario/Swarm/Game/Recipe.hs too large to diff
• src/swarm-scenario/Swarm/Game/ResourceLoading.hs too large to diff
• src/swarm-scenario/Swarm/Game/Robot.hs too large to diff
• src/swarm-scenario/Swarm/Game/Robot/Walk.hs too large to diff
• src/swarm-scenario/Swarm/Game/Scenario.hs too large to diff
• src/swarm-scenario/Swarm/Game/Scenario/Objective.hs too large to diff
• src/swarm-scenario/Swarm/Game/Scenario/Objective/Graph.hs too large to diff
• src/swarm-scenario/Swarm/Game/Scenario/Objective/Logic.hs too large to diff
• src/swarm-scenario/Swarm/Game/Scenario/Objective/Validation.hs too large to diff
• src/swarm-scenario/Swarm/Game/Scenario/RobotLookup.hs too large to diff
• src/swarm-scenario/Swarm/Game/Scenario/Style.hs too large to diff
• src/swarm-scenario/Swarm/Game/Scenario/Topography/Cell.hs too large to diff
• src/swarm-scenario/Swarm/Game/Scenario/Topography/Center.hs too large to diff
• src/swarm-scenario/Swarm/Game/Scenario/Topography/EntityFacade.hs too large to diff
• src/swarm-scenario/Swarm/Game/Scenario/Topography/Navigation/Portal.hs too large to diff
• src/swarm-scenario/Swarm/Game/Scenario/Topography/Structure/Recognition/Precompute.hs too large to diff
• src/swarm-scenario/Swarm/Game/Scenario/Topography/WorldDescription.hs too large to diff
• src/swarm-scenario/Swarm/Game/Scenario/Topography/WorldPalette.hs too large to diff
• src/swarm-scenario/Swarm/Game/State/Config.hs too large to diff
• src/swarm-scenario/Swarm/Game/State/Landscape.hs too large to diff
• src/swarm-scenario/Swarm/Game/Terrain.hs too large to diff
• src/swarm-scenario/Swarm/Game/World.hs too large to diff
• src/swarm-scenario/Swarm/Game/World/Abstract.hs too large to diff
• src/swarm-scenario/Swarm/Game/World/Compile.hs too large to diff
• src/swarm-scenario/Swarm/Game/World/Eval.hs too large to diff
• src/swarm-scenario/Swarm/Game/World/Gen.hs too large to diff
• src/swarm-scenario/Swarm/Game/World/Interpret.hs too large to diff
• src/swarm-scenario/Swarm/Game/World/Load.hs too large to diff
• src/swarm-scenario/Swarm/Game/World/Modify.hs too large to diff
• src/swarm-scenario/Swarm/Game/World/Parse.hs too large to diff
• src/swarm-scenario/Swarm/Game/World/Render.hs too large to diff
• src/swarm-scenario/Swarm/Game/World/Syntax.hs too large to diff
• src/swarm-scenario/Swarm/Game/World/Typecheck.hs too large to diff
• src/swarm-scenario/Swarm/Util/Content.hs too large to diff
• src/swarm-topography/Swarm/Game/Location.hs too large to diff
• src/swarm-topography/Swarm/Game/Scenario/Topography/Area.hs too large to diff
• src/swarm-topography/Swarm/Game/Scenario/Topography/Grid.hs too large to diff
• src/swarm-topography/Swarm/Game/Scenario/Topography/Navigation/Waypoint.hs too large to diff
• src/swarm-topography/Swarm/Game/Scenario/Topography/Placement.hs too large to diff
• src/swarm-topography/Swarm/Game/Scenario/Topography/ProtoCell.hs too large to diff
• src/swarm-topography/Swarm/Game/Scenario/Topography/Rasterize.hs too large to diff
• src/swarm-topography/Swarm/Game/Scenario/Topography/Structure.hs too large to diff
• src/swarm-topography/Swarm/Game/Scenario/Topography/Structure/Assembly.hs too large to diff
• src/swarm-topography/Swarm/Game/Scenario/Topography/Structure/Overlay.hs too large to diff
• src/swarm-topography/Swarm/Game/Scenario/Topography/Structure/Recognition.hs too large to diff
• src/swarm-topography/Swarm/Game/Scenario/Topography/Structure/Recognition/Log.hs too large to diff
• src/swarm-topography/Swarm/Game/Scenario/Topography/Structure/Recognition/Prep.hs too large to diff
• src/swarm-topography/Swarm/Game/Scenario/Topography/Structure/Recognition/Registry.hs too large to diff
• src/swarm-topography/Swarm/Game/Scenario/Topography/Structure/Recognition/Symmetry.hs too large to diff
• src/swarm-topography/Swarm/Game/Scenario/Topography/Structure/Recognition/Type.hs too large to diff
• src/swarm-topography/Swarm/Game/Universe.hs too large to diff
• src/swarm-topography/Swarm/Game/World/Coords.hs too large to diff
• src/swarm-tournament/Swarm/Web/Auth.hs too large to diff
• src/swarm-tournament/Swarm/Web/Tournament.hs too large to diff
• src/swarm-tournament/Swarm/Web/Tournament/Database/Query.hs too large to diff
• src/swarm-tournament/Swarm/Web/Tournament/Type.hs too large to diff
• src/swarm-tournament/Swarm/Web/Tournament/Validate.hs too large to diff
• src/swarm-tournament/Swarm/Web/Tournament/Validate/FailureMode.hs too large to diff
• src/swarm-tournament/Swarm/Web/Tournament/Validate/Upload.hs too large to diff
• src/swarm-tui/Swarm/TUI/Border.hs too large to diff
• src/swarm-tui/Swarm/TUI/Controller.hs too large to diff
• src/swarm-tui/Swarm/TUI/Controller/EventHandlers.hs too large to diff
• src/swarm-tui/Swarm/TUI/Controller/EventHandlers/Frame.hs too large to diff
• src/swarm-tui/Swarm/TUI/Controller/EventHandlers/Main.hs too large to diff
• src/swarm-tui/Swarm/TUI/Controller/EventHandlers/REPL.hs too large to diff
• src/swarm-tui/Swarm/TUI/Controller/EventHandlers/Robot.hs too large to diff
• src/swarm-tui/Swarm/TUI/Controller/EventHandlers/World.hs too large to diff
• src/swarm-tui/Swarm/TUI/Controller/SaveScenario.hs too large to diff
• src/swarm-tui/Swarm/TUI/Controller/UpdateUI.hs too large to diff
• src/swarm-tui/Swarm/TUI/Controller/Util.hs too large to diff
• src/swarm-tui/Swarm/TUI/Editor/Controller.hs too large to diff
• src/swarm-tui/Swarm/TUI/Editor/Json.hs too large to diff
• src/swarm-tui/Swarm/TUI/Editor/Masking.hs too large to diff
• src/swarm-tui/Swarm/TUI/Editor/Model.hs too large to diff
• src/swarm-tui/Swarm/TUI/Editor/Palette.hs too large to diff
• src/swarm-tui/Swarm/TUI/Editor/Util.hs too large to diff
• src/swarm-tui/Swarm/TUI/Editor/View.hs too large to diff
• src/swarm-tui/Swarm/TUI/Inventory/Sorting.hs too large to diff
• src/swarm-tui/Swarm/TUI/Launch/Controller.hs too large to diff
• src/swarm-tui/Swarm/TUI/Launch/Model.hs too large to diff
• src/swarm-tui/Swarm/TUI/Launch/Prep.hs too large to diff
• src/swarm-tui/Swarm/TUI/Launch/View.hs too large to diff
• src/swarm-tui/Swarm/TUI/List.hs too large to diff
• src/swarm-tui/Swarm/TUI/Model.hs too large to diff
• src/swarm-tui/Swarm/TUI/Model/Achievements.hs too large to diff
• src/swarm-tui/Swarm/TUI/Model/Event.hs too large to diff
• src/swarm-tui/Swarm/TUI/Model/Goal.hs too large to diff
• src/swarm-tui/Swarm/TUI/Model/KeyBindings.hs too large to diff
• src/swarm-tui/Swarm/TUI/Model/Menu.hs too large to diff
• src/swarm-tui/Swarm/TUI/Model/Name.hs too large to diff
• src/swarm-tui/Swarm/TUI/Model/Popup.hs too large to diff
• src/swarm-tui/Swarm/TUI/Model/Repl.hs too large to diff
• src/swarm-tui/Swarm/TUI/Model/StateUpdate.hs too large to diff
• src/swarm-tui/Swarm/TUI/Model/Structure.hs too large to diff
• src/swarm-tui/Swarm/TUI/Model/UI.hs too large to diff
• src/swarm-tui/Swarm/TUI/Panel.hs too large to diff
• src/swarm-tui/Swarm/TUI/View.hs too large to diff
• src/swarm-tui/Swarm/TUI/View/Achievement.hs too large to diff
• src/swarm-tui/Swarm/TUI/View/Attribute/Attr.hs too large to diff
• src/swarm-tui/Swarm/TUI/View/Attribute/CustomStyling.hs too large to diff
• src/swarm-tui/Swarm/TUI/View/Attribute/Util.hs too large to diff
• src/swarm-tui/Swarm/TUI/View/CellDisplay.hs too large to diff
• src/swarm-tui/Swarm/TUI/View/Logo.hs too large to diff
• src/swarm-tui/Swarm/TUI/View/Objective.hs too large to diff
• src/swarm-tui/Swarm/TUI/View/Popup.hs too large to diff
• src/swarm-tui/Swarm/TUI/View/Structure.hs too large to diff
• src/swarm-tui/Swarm/TUI/View/Util.hs too large to diff
• src/swarm-util/Control/Carrier/Accum/FixedStrict.hs too large to diff
• src/swarm-util/Data/BoolExpr/Simplify.hs too large to diff
• src/swarm-util/Swarm/Language/Syntax/Direction.hs too large to diff
• src/swarm-util/Swarm/Util.hs too large to diff
• src/swarm-util/Swarm/Util/Effect.hs too large to diff
• src/swarm-util/Swarm/Util/Erasable.hs too large to diff
• src/swarm-util/Swarm/Util/JSON.hs too large to diff
• src/swarm-util/Swarm/Util/Lens.hs too large to diff
• src/swarm-util/Swarm/Util/OccurrenceEncoder.hs too large to diff
• src/swarm-util/Swarm/Util/ReadableIORef.hs too large to diff
• src/swarm-util/Swarm/Util/RingBuffer.hs too large to diff
• src/swarm-util/Swarm/Util/UnitInterval.hs too large to diff
• src/swarm-util/Swarm/Util/WindowedCounter.hs too large to diff
• src/swarm-util/Swarm/Util/Yaml.hs too large to diff
• src/swarm-web/Swarm/Web.hs too large to diff
• src/swarm-web/Swarm/Web/Worldview.hs too large to diff
• swarm.cabal too large to diff
• test/bench/Benchmark.hs too large to diff
• test/integration/Main.hs too large to diff
• test/integration/TestRecipeCoverage.hs too large to diff
• test/standalone-topography/src/Lib.hs too large to diff
• test/standalone-topography/src/Main.hs too large to diff
• test/tournament-host/Main.hs too large to diff
• test/unit/Main.hs too large to diff
• test/unit/TestCommand.hs too large to diff
• test/unit/TestEval.hs too large to diff
• test/unit/TestInventory.hs too large to diff
• test/unit/TestLSP.hs too large to diff
• test/unit/TestLanguagePipeline.hs too large to diff
• test/unit/TestModel.hs too large to diff
• test/unit/TestNotification.hs too large to diff
• test/unit/TestOrdering.hs too large to diff
• test/unit/TestOverlay.hs too large to diff
• test/unit/TestParse.hs too large to diff
• test/unit/TestPedagogy.hs too large to diff
• test/unit/TestPretty.hs too large to diff
• test/unit/TestRepl.hs too large to diff
• test/unit/TestRequirements.hs too large to diff
• test/unit/TestScoring.hs too large to diff
• test/unit/TestUtil.hs too large to diff

@@ -1,5 +1,102 @@ # Revision history for swarm +## **0.6.0.0** - 2024-07-15++Some of the highlights of this release include native Windows support,+customizable keybindings, type synonyms and equirecursive types, and a+prototype tournament server+([#1798](https://github.com/swarm-game/swarm/pull/1798)) where players+can upload their solutions to challenge scenarios.  See below for a+more detailed list (or see the [complete list of git+commits](https://github.com/swarm-game/swarm/commits/main/?since=2023-11-01)).++Aside from the more visible changes listed below, this release cycle saw a *lot* of internal refactoring.+For example, we finished splitting the codebase into a number of+independent sublibraries and split several large modules into smaller+modules.++### Community++* New [Discord server](https://discord.gg/kp8MuSgkPw)!++### Breaking changes++* Types are now required to start with an uppercase letter ([#1583](https://github.com/swarm-game/swarm/pull/1583))+  * Use `swarm format --v0.5` to convert old code.++### Bugfixes++* Variables in a local monadic binder escape to outer scopes+  ([#681](https://github.com/swarm-game/swarm/issues/681); fixed by [#1928](https://github.com/swarm-game/swarm/pull/1928))++### New Features++#### Language++* `volume` command measuring the enclosed area around a given location+  ([#1747](https://github.com/swarm-game/swarm/pull/1747))+* `sow` command for planting growing entities that spread ([#1817](https://github.com/swarm-game/swarm/pull/1817))+* Type synonyms ([#1865](https://github.com/swarm-game/swarm/pull/1865))+* Recursive types ([#1894](https://github.com/swarm-game/swarm/pull/1894))+* Entity tags and related commands ([#1635](https://github.com/swarm-game/swarm/pull/1635))+* `meetAll` command now returns a list ([#1999](https://github.com/swarm-game/swarm/pull/1999))++#### Entities + recipes++* New `lens` entity and recipe for `detonator` ([#1876](https://github.com/swarm-game/swarm/pull/1876))+* `infinite improbability drive` device enabling `teleport` command+  ([#1724](https://github.com/swarm-game/swarm/pull/1724))+* Recipes for `rolex`, `olfactometer`, `dozer blade`, and `hourglass` entities+  ([#2028](https://github.com/swarm-game/swarm/pull/2028), [#2025](https://github.com/swarm-game/swarm/pull/2025))++#### New scenarios++* Beekeeping scenario ([#1599](https://github.com/swarm-game/swarm/pull/1599))+* Fishing scenario ([#1628](https://github.com/swarm-game/swarm/pull/1628))+* Dim sum restaurant ([#1686](https://github.com/swarm-game/swarm/pull/1686))+* Gallery scenario ([#1760](https://github.com/swarm-game/swarm/pull/1760))+* Snake automata ([#1699](https://github.com/swarm-game/swarm/pull/1699))++#### Scenario mechanics and authoring improvements++* Path caching, for more efficient repeated use of the `path` command ([#1595](https://github.com/swarm-game/swarm/pull/1595))+* Render any map to PNG ([#1632](https://github.com/swarm-game/swarm/pull/1632))+* Extensible terrain ([#1775](https://github.com/swarm-game/swarm/pull/1775))+* Spreadable plant growth ([#1817](https://github.com/swarm-game/swarm/pull/1817))+* Exercising commands can consume entities ([#1777](https://github.com/swarm-game/swarm/pull/1777))+* Recognize built structures ([#1579](https://github.com/swarm-game/swarm/pull/1579))+* Test for point-to-point connectivity ([#1721](https://github.com/swarm-game/swarm/pull/1721))+* Validate palettes ([#1938](https://github.com/swarm-game/swarm/pull/1938)), map shape ([#1935](https://github.com/swarm-game/swarm/pull/1935)), subworld references ([#1875](https://github.com/swarm-game/swarm/pull/1875))++#### UI enhancements++* Fix REPL type display ([#1610](https://github.com/swarm-game/swarm/pull/1610))+* Handle backword kill word event in REPL ([#1861](https://github.com/swarm-game/swarm/pull/1861))+* Make log error messages ephemeral ([#1877](https://github.com/swarm-game/swarm/pull/1877))+* Pretty print code blocks according to widget size ([#1897](https://github.com/swarm-game/swarm/pull/1897))+* Automatically insert matching close brackets at REPL ([#1953](https://github.com/swarm-game/swarm/pull/1953))+* Highlight only the part of the REPL input indicated as the location+  of an error ([#1957](https://github.com/swarm-game/swarm/pull/1957))+* Popups for new achievements, recipes, and commands+  ([#2027](https://github.com/swarm-game/swarm/pull/2027))+* Save current REPL input with down arrow+  ([#2000](https://github.com/swarm-game/swarm/pull/2000))+* Customizable keybindings ([#1979](https://github.com/swarm-game/swarm/pull/1979))++#### Command line options++* `format` subcommand now tries to preserve comments ([#1845](https://github.com/swarm-game/swarm/pull/1845))+* Add `format --v0.5` option to port code from older syntax ([#1851](https://github.com/swarm-game/swarm/pull/1851))+* `keybindings` subcommand for displaying and initializing keybinding+  configuration ([#1979](https://github.com/swarm-game/swarm/pull/1979))+* `docs recipes` subcommand now takes `--forward` and `--next` flags+  for filtering the output edges ([#2033](https://github.com/swarm-game/swarm/pull/2033))++### Building/packaging++* Add Windows build to CI ([#1974](https://github.com/swarm-game/swarm/pull/1974))+* Native Windows support ([#1617](https://github.com/swarm-game/swarm/pull/1617))+ ## **0.5.0.0** - 2023-11-01  ### Bugfixes

@@ -1,4 +1,4 @@-Copyright Brent Yorgey 2021-2022+Copyright Brent Yorgey and other contributors 2021-2024 SPDX-License-Identifier: BSD-3-Clause  All rights reserved.@@ -14,7 +14,7 @@       disclaimer in the documentation and/or other materials provided       with the distribution. -    * Neither the name of Swarm team nor the names of other+    * Neither the name of Brent Yorgey nor the names of other       contributors may be used to endorse or promote products derived       from this software without specific prior written permission. 

@@ -6,46 +6,37 @@ -- SPDX-License-Identifier: BSD-3-Clause module Main where +import Control.Monad (when) import Data.Foldable qualified-import Data.Maybe (fromMaybe)-import Data.Text (Text, pack)-import Data.Text qualified as T-import Data.Text.IO qualified as Text+import Data.Text.IO qualified as T import GitHash (GitInfo, giBranch, giHash, tGitInfoCwdTry) import Options.Applicative-import Prettyprinter-import Prettyprinter.Render.Text qualified as RT import Swarm.App (appMain)-import Swarm.Doc.Gen (EditorType (..), GenerateDocs (..), PageAddress (..), SheetType (..), generateDocs)-import Swarm.Game.World.Render (printScenarioMap, renderScenarioMap)+import Swarm.Game.ResourceLoading (getSwarmConfigIniFile)+import Swarm.Language.Format import Swarm.Language.LSP (lspMain)-import Swarm.Language.Parse (readTerm)-import Swarm.Language.Pretty (ppr)+import Swarm.Language.Parser.Core (LanguageVersion (..)) import Swarm.TUI.Model (AppOpts (..), ColorMode (..))+import Swarm.TUI.Model.KeyBindings (KeybindingPrint (..), showKeybindings) import Swarm.TUI.Model.UI (defaultInitLgTicksPerSecond)-import Swarm.Util ((?)) import Swarm.Version import Swarm.Web (defaultPort)-import System.Console.Terminal.Size qualified as Term-import System.Exit (exitFailure) import System.IO (hPrint, stderr) import Text.Read (readMaybe)  gitInfo :: Maybe GitInfo-gitInfo = either (const Nothing) Just ($$tGitInfoCwdTry)+gitInfo = either (const Nothing) Just $$tGitInfoCwdTry  commitInfo :: String commitInfo = case gitInfo of   Nothing -> ""   Just git -> " (" <> giBranch git <> "@" <> take 10 (giHash git) <> ")" -type Width = Int- data CLI   = Run AppOpts-  | Format Input (Maybe Width)-  | DocGen GenerateDocs-  | RenderMap FilePath+  | -- | Print list of bindings, optionally initializing the INI configuration file.+    ListKeybinding Bool KeybindingPrint+  | Format FormatConfig   | LSP   | Version @@ -53,11 +44,10 @@ cliParser =   subparser     ( mconcat-        [ command "format" (info (Format <$> format <*> optional widthOpt <**> helper) (progDesc "Format a file"))-        , command "generate" (info (DocGen <$> docgen <**> helper) (progDesc "Generate docs"))-        , command "map" (info (RenderMap <$> strArgument (metavar "FILE")) (progDesc "Render a scenario world map."))+        [ command "format" (info (Format <$> parseFormat) (progDesc "Format a file"))         , command "lsp" (info (pure LSP) (progDesc "Start the LSP"))         , command "version" (info (pure Version) (progDesc "Get current and upstream version."))+        , command "keybindings" (info (ListKeybinding <$> initKeybindingConfig <*> printKeyMode <**> helper) (progDesc "List the keybindings"))         ]     )     <|> Run@@ -73,54 +63,38 @@               <*> pure gitInfo           )  where-  format :: Parser Input-  format =-    (Stdin <$ switch (long "stdin" <> help "Read code from stdin"))-      <|> (File <$> strArgument (metavar "FILE"))-  widthOpt :: Parser Width+  input :: Parser FormatInput+  input =+    flag' Stdin (long "stdin" <> help "Read code from stdin")+      <|> (InputFile <$> strArgument (metavar "FILE"))++  output :: Parser FormatOutput+  output =+    flag Stdout Stdout (long "stdout" <> help "Write formatted code to stdout (default)")+      <|> (OutputFile <$> strOption (long "output" <> short 'o' <> metavar "FILE" <> help "Write formatted code to an output file"))+      <|> flag' Inplace (long "inplace" <> short 'i' <> help "Format file in place")++  widthOpt :: Parser FormatWidth   widthOpt = option auto (long "width" <> metavar "COLUMNS" <> help "Use layout with maximum width")-  docgen :: Parser GenerateDocs-  docgen =-    subparser . mconcat $-      [ command "recipes" (info (pure RecipeGraph) $ progDesc "Output graphviz dotfile of entity dependencies based on recipes")-      , command "editors" (info (EditorKeywords <$> editor <**> helper) $ progDesc "Output editor keywords")-      , command "keys" (info (pure SpecialKeyNames) $ progDesc "Output list of recognized special key names")-      , command "cheatsheet" (info (CheatSheet <$> address <*> cheatsheet <**> helper) $ progDesc "Output nice Wiki tables")-      , command "pedagogy" (info (pure TutorialCoverage) $ progDesc "Output tutorial coverage")-      , command "endpoints" (info (pure WebAPIEndpoints) $ progDesc "Generate markdown Web API documentation.")-      ] -  editor :: Parser (Maybe EditorType)-  editor =-    Data.Foldable.asum-      [ pure Nothing-      , Just VSCode <$ switch (long "code" <> help "Generate for the VS Code editor")-      , Just Emacs <$ switch (long "emacs" <> help "Generate for the Emacs editor")-      ]-  address :: Parser PageAddress-  address =-    let replace a b = T.unpack . T.replace a b . T.pack-        opt n =-          fmap (fromMaybe "") . optional $-            option-              str-              ( long n-                  <> metavar "ADDRESS"-                  <> help ("Set the address of " <> replace "-" " " n <> ". Default no link.")-              )-     in PageAddress <$> opt "entities-page" <*> opt "commands-page" <*> opt "capabilities-page" <*> opt "recipes-page"-  cheatsheet :: Parser (Maybe SheetType)-  cheatsheet =-    Data.Foldable.asum-      [ pure Nothing-      , Just Entities <$ switch (long "entities" <> help "Generate entities page (uses data from entities.yaml)")-      , Just Recipes <$ switch (long "recipes" <> help "Generate recipes page (uses data from recipes.yaml)")-      , Just Capabilities <$ switch (long "capabilities" <> help "Generate capabilities page (uses entity map)")-      , Just Commands <$ switch (long "commands" <> help "Generate commands page (uses constInfo, constCaps and inferConst)")-      , Just Scenario <$ switch (long "scenario" <> help "Generate scenario schema page")-      ]+  langVer :: Parser LanguageVersion+  langVer = flag SwarmLangLatest SwarmLang0_5 (long "v0.5" <> help "Read (& convert) code from Swarm version 0.5")++  printKeyMode :: Parser KeybindingPrint+  printKeyMode =+    flag' IniPrint (long "ini" <> help "Print in INI format")+      <|> flag' MarkdownPrint (long "markdown" <> help "Print in Markdown table format")+      <|> pure TextPrint++  initKeybindingConfig :: Parser Bool+  initKeybindingConfig = switch (short 'i' <> long "init" <> help "Initialise the keybindings configuration file")++  parseFormat :: Parser FormatConfig+  parseFormat = FormatConfig <$> input <*> output <*> optional widthOpt <*> langVer <**> helper+   seed :: Parser (Maybe Int)   seed = optional $ option auto (long "seed" <> short 's' <> metavar "INT" <> help "Seed to use for world generation")+   webPort :: Parser (Maybe Int)   webPort =     optional $@@ -161,47 +135,35 @@         <> fullDesc     ) -data Input = Stdin | File FilePath--getInput :: Input -> IO Text-getInput Stdin = Text.getContents-getInput (File fp) = Text.readFile fp--showInput :: Input -> Text-showInput Stdin = "(input)"-showInput (File fp) = pack fp---- | Utility function to validate and format swarm-lang code-formatFile :: Input -> Maybe Width -> IO ()-formatFile input mWidth = do-  content <- getInput input-  case readTerm content of-    Right Nothing -> Text.putStrLn ""-    Right (Just ast) -> do-      mWindow <- Term.size-      let mkOpt w = LayoutOptions (AvailablePerLine w 1.0)-      let opt =-            fmap mkOpt mWidth-              ? fmap (\(Term.Window _h w) -> mkOpt w) mWindow-              ? defaultLayoutOptions-      Text.putStrLn . RT.renderStrict . layoutPretty opt $ ppr ast-    Left e -> do-      Text.hPutStrLn stderr $ showInput input <> ":" <> e-      exitFailure- showVersion :: IO () showVersion = do   putStrLn $ "Swarm game - " <> version <> commitInfo   up <- getNewerReleaseVersion gitInfo   either (hPrint stderr) (putStrLn . ("New upstream release: " <>)) up +printKeybindings :: Bool -> KeybindingPrint -> IO ()+printKeybindings initialize p = do+  kb <- showKeybindings p+  T.putStrLn kb+  (iniExists, ini) <- getSwarmConfigIniFile initialize+  when initialize $ do+    kbi <- showKeybindings IniPrint+    T.writeFile ini kbi+  let iniState+        | iniExists && initialize = "has been updated"+        | iniExists = "is"+        | initialize = "has been created"+        | otherwise = "can be created (--init)"+  putStrLn $ replicate 80 '-'+  putStrLn $ "The configuration file " <> iniState <> " at:"+  putStrLn ini+ main :: IO () main = do   cli <- execParser cliInfo   case cli of     Run opts -> appMain opts-    DocGen g -> generateDocs g-    Format fo w -> formatFile fo w-    RenderMap mapPath -> printScenarioMap =<< renderScenarioMap mapPath+    ListKeybinding initialize p -> printKeybindings initialize p+    Format cfg -> formatSwarmIO cfg     LSP -> lspMain     Version -> showVersion

@@ -0,0 +1,153 @@+{-# LANGUAGE NumericUnderscores #-}+{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE TypeApplications #-}++{- HLINT ignore "Use underscore" -}++-- |+-- SPDX-License-Identifier: BSD-3-Clause+-- Description: Application entry point+--+-- Main entry point for the Swarm application.+module Swarm.App where++import Brick+import Brick.BChan+import Control.Carrier.Lift (runM)+import Control.Carrier.Throw.Either (runThrow)+import Control.Concurrent (forkIO, threadDelay)+import Control.Lens (view, (%~), (&), (?~))+import Control.Monad (forever, void, when)+import Control.Monad.IO.Class (liftIO)+import Data.IORef (newIORef, writeIORef)+import Data.Text qualified as T+import Data.Text.IO qualified as T+import Graphics.Vty qualified as V+import Graphics.Vty.CrossPlatform qualified as V+import Swarm.Game.Failure (SystemFailure)+import Swarm.Game.State.Runtime+import Swarm.Language.Pretty (prettyText)+import Swarm.Log (LogSource (SystemLog), Severity (..))+import Swarm.TUI.Controller+import Swarm.TUI.Model+import Swarm.TUI.Model.StateUpdate+import Swarm.TUI.Model.UI (uiAttrMap)+import Swarm.TUI.View+import Swarm.Util.ReadableIORef (mkReadonly)+import Swarm.Version (getNewerReleaseVersion)+import Swarm.Web+import System.IO (stderr)++type EventHandler = BrickEvent Name AppEvent -> EventM Name AppState ()++-- | The configuration of the Swarm app which we pass to the @brick@+--   library.+app :: EventHandler -> App AppState AppEvent Name+app eventHandler =+  App+    { appDraw = drawUI+    , appChooseCursor = chooseCursor+    , appHandleEvent = eventHandler+    , appStartEvent = enablePasteMode+    , appAttrMap = view $ uiState . uiAttrMap+    }++-- | The main @IO@ computation which initializes the state, sets up+--   some communication channels, and runs the UI.+appMain :: AppOpts -> IO ()+appMain opts = do+  res <- runM . runThrow $ initAppState opts+  case res of+    Left err -> T.hPutStrLn stderr (prettyText @SystemFailure err)+    Right s -> do+      -- Send Frame events as at a reasonable rate for 30 fps. The+      -- game is responsible for figuring out how many steps to take+      -- each frame to achieve the desired speed, regardless of the+      -- frame rate.  Note that if the game cannot keep up with 30+      -- fps, it's not a problem: the channel will fill up and this+      -- thread will block.  So the force of the threadDelay is just+      -- to set a *maximum* possible frame rate.+      --+      -- 5 is the size of the bounded channel; when it gets that big,+      -- any writes to it will block.  Probably 1 would work fine,+      -- though it seems like it could be good to have a bit of buffer+      -- just so the app never has to wait for the thread to wake up+      -- and do another write.++      chan <- newBChan 5+      _ <- forkIO $+        forever $ do+          threadDelay 33_333 -- cap maximum framerate at 30 FPS+          writeBChan chan Frame++      _ <- forkIO $ do+        upRel <- getNewerReleaseVersion (repoGitInfo opts)+        writeBChan chan (UpstreamVersion upRel)++      -- Start the web service with a reference to the game state.+      -- NOTE: This reference should be considered read-only by+      -- the web service; the game alone shall host the canonical state.+      appStateRef <- newIORef s+      eport <-+        Swarm.Web.startWebThread+          (userWebPort opts)+          (mkReadonly appStateRef)+          chan++      let logP p = logEvent SystemLog Info "Web API" ("started on :" <> T.pack (show p))+      let logE e = logEvent SystemLog Error "Web API" (T.pack e)+      let s1 =+            s+              & runtimeState+                %~ case eport of+                  Right p -> (webPort ?~ p) . (eventLog %~ logP p)+                  Left e -> eventLog %~ logE e++      -- Update the reference for every event+      let eventHandler e = do+            curSt <- get+            liftIO $ writeIORef appStateRef curSt+            handleEvent e++      -- Setup virtual terminal+      let buildVty = V.mkVty V.defaultConfig {V.configPreferredColorMode = colorMode opts}+      vty <- buildVty++      V.setMode (V.outputIface vty) V.Mouse True++      let cm = V.outputColorMode $ V.outputIface vty+      let s2 =+            s1+              & runtimeState . eventLog %~ logEvent SystemLog Info "Graphics" ("Color mode: " <> T.pack (show cm))++      -- Run the app.+      void $ customMain vty buildVty (Just chan) (app eventHandler) s2++-- | A demo program to run the web service directly, without the terminal application.+--   This is useful to live update the code using @ghcid -W --test "Swarm.App.demoWeb"@.+demoWeb :: IO ()+demoWeb = do+  let demoPort = 8080+  res <-+    runM . runThrow $ initAppState (defaultAppOpts {userScenario = demoScenario})+  case res of+    Left err -> T.putStrLn (prettyText @SystemFailure err)+    Right s -> do+      appStateRef <- newIORef s+      chan <- newBChan 5+      webMain+        Nothing+        demoPort+        (mkReadonly appStateRef)+        chan+ where+  demoScenario = Just "./data/scenarios/Testing/475-wait-one.yaml"++-- | If available for the terminal emulator, enable bracketed paste mode.+enablePasteMode :: EventM n s ()+enablePasteMode = do+  vty <- getVtyHandle+  let output = V.outputIface vty+  when (V.supportsMode output V.BracketedPaste) $+    liftIO $+      V.setMode output V.BracketedPaste True

@@ -0,0 +1,74 @@+{-# LANGUAGE OverloadedStrings #-}++-- |+-- SPDX-License-Identifier: BSD-3-Clause+module Main where++import Data.Foldable qualified+import Data.Maybe (fromMaybe)+import Data.Text qualified as T+import Options.Applicative+import Swarm.Doc.Gen (EdgeFilter (..), GenerateDocs (..), PageAddress (..), SheetType (..), generateDocs)+import Swarm.Doc.Keyword (EditorType (..))++cliParser :: Parser GenerateDocs+cliParser =+  subparser $+    mconcat+      [ command "recipes" (info (RecipeGraph <$> edgeFilter <**> helper) $ progDesc "Output graphviz dotfile of entity dependencies based on recipes")+      , command "editors" (info (EditorKeywords <$> editor <**> helper) $ progDesc "Output editor keywords")+      , command "keys" (info (pure SpecialKeyNames) $ progDesc "Output list of recognized special key names")+      , command "cheatsheet" (info (CheatSheet <$> address <*> cheatsheet <**> helper) $ progDesc "Output nice Wiki tables")+      , command "pedagogy" (info (pure TutorialCoverage) $ progDesc "Output tutorial coverage")+      ]+ where+  editor :: Parser (Maybe EditorType)+  editor =+    Data.Foldable.asum+      [ pure Nothing+      , Just VSCode <$ switch (long "code" <> help "Generate for the VS Code editor")+      , Just Emacs <$ switch (long "emacs" <> help "Generate for the Emacs editor")+      , Just Vim <$ switch (long "vim" <> help "Generate for the Vim editor")+      ]+  edgeFilter :: Parser EdgeFilter+  edgeFilter =+    Data.Foldable.asum+      [ pure NoFilter+      , FilterForward <$ switch (long "forward" <> help "Show only forward edges")+      , FilterNext <$ switch (long "next" <> help "Show only edges to next group")+      ]+  address :: Parser PageAddress+  address =+    let replace a b = T.unpack . T.replace a b . T.pack+        opt n =+          fmap (fromMaybe "") . optional $+            option+              str+              ( long n+                  <> metavar "ADDRESS"+                  <> help ("Set the address of " <> replace "-" " " n <> ". Default no link.")+              )+     in PageAddress <$> opt "entities-page" <*> opt "commands-page" <*> opt "capabilities-page" <*> opt "recipes-page"+  cheatsheet :: Parser SheetType+  cheatsheet =+    Data.Foldable.asum+      [ flag' Entities (long "entities" <> help "Generate entities page (uses data from entities.yaml)")+      , flag' Terrain (long "terrain" <> help "Generate terrain page (uses data from terrains.yaml)")+      , flag' Recipes (long "recipes" <> help "Generate recipes page (uses data from recipes.yaml)")+      , flag' Capabilities (long "capabilities" <> help "Generate capabilities page (uses entity map)")+      , flag' Commands (long "commands" <> help "Generate commands page (uses constInfo, constCaps and inferConst)")+      , flag' CommandMatrix (long "matrix" <> help "Generate commands matrix page")+      , flag' Scenario (long "scenario" <> help "Generate scenario schema page")+      ]++cliInfo :: ParserInfo GenerateDocs+cliInfo =+  info+    (cliParser <**> helper)+    ( header "Swarm docs"+        <> progDesc "Generate swarm documentation."+        <> fullDesc+    )++main :: IO ()+main = generateDocs =<< execParser cliInfo

@@ -0,0 +1,47 @@+{-# LANGUAGE OverloadedStrings #-}++-- |+-- SPDX-License-Identifier: BSD-3-Clause+module Main where++import Options.Applicative+import Swarm.Game.Scenario.Topography.Area (AreaDimensions (..))+import Swarm.Game.World.Render (FailureMode (..), OuputFormat (..), RenderOpts (..), doRenderCmd)++data CLI+  = RenderMap FilePath RenderOpts++cliParser :: Parser CLI+cliParser =+  RenderMap <$> strArgument (metavar "SCENARIO") <*> subOpts+ where+  sizeOpts =+    AreaDimensions+      <$> option auto (metavar "WIDTH" <> short 'w' <> long "width" <> help "width of source grid")+      <*> option auto (metavar "HEIGHT" <> short 'h' <> long "height" <> help "height of source grid")++  subOpts =+    RenderOpts+      <$> seed+      <*> flag ConsoleText PngImage (long "png" <> help "Render to PNG")+      <*> option str (long "dest" <> short 'd' <> value "output.png" <> help "Output filepath")+      <*> optional sizeOpts+      <*> flag Terminate RenderBlankImage (long "fail-blank" <> short 'b' <> help "Render blank image upon failure")++  seed :: Parser (Maybe Int)+  seed = optional $ option auto (long "seed" <> short 's' <> metavar "INT" <> help "Seed to use for world generation")++cliInfo :: ParserInfo CLI+cliInfo =+  info+    (cliParser <**> helper)+    ( header "Swarm scene"+        <> progDesc "Render a scenario world map."+        <> fullDesc+    )++main :: IO ()+main = do+  cli <- execParser cliInfo+  case cli of+    RenderMap mapPath opts -> doRenderCmd opts mapPath

@@ -0,0 +1,100 @@+{-# LANGUAGE OverloadedStrings #-}++-- |+-- SPDX-License-Identifier: BSD-3-Clause+module Main where++import Control.Monad.Trans.Reader (runReaderT)+import Data.Maybe (fromMaybe)+import Data.Yaml (decodeFileThrow)+import Database.SQLite.Simple (execute_, withConnection)+import Network.Wai.Handler.Warp (Port)+import Options.Applicative+import Swarm.Game.State (Sha1 (..))+import Swarm.Web.Tournament+import Swarm.Web.Tournament.Database.Query+import Swarm.Web.Tournament.Type (UserAlias (..))++data AppOpts = AppOpts+  { userWebPort :: Maybe Port+  -- ^ Explicit port on which to run the web API+  , gameGitVersion :: Sha1+  , deploymentEnv :: DeploymentEnvironment+  }++webPort :: Parser (Maybe Int)+webPort =+  optional $+    option+      auto+      ( long "port"+          <> metavar "PORT"+          <> help ("Set the web service port (or disable it with 0). Default to " <> show defaultPort <> ".")+      )++gameVersion :: Parser Sha1+gameVersion =+  Sha1+    <$> option+      str+      ( long "version"+          <> metavar "VERSION"+          <> help "Set the git version of the game"+      )++parseRunningLocally :: Parser DeploymentEnvironment+parseRunningLocally =+  flag+    ProdDeployment+    (LocalDevelopment $ UserAlias "local-user")+    (long "local" <> help "Running locally for development")++cliParser :: Parser AppOpts+cliParser = AppOpts <$> webPort <*> gameVersion <*> parseRunningLocally++cliInfo :: ParserInfo AppOpts+cliInfo =+  info+    (cliParser <**> helper)+    ( header "Swarm tournament"+        <> progDesc "Hosts a tournament server."+        <> fullDesc+    )++main :: IO ()+main = do+  opts <- execParser cliInfo++  creds <- case deploymentEnv opts of+    LocalDevelopment _ -> return $ GitHubCredentials "" ""+    ProdDeployment -> decodeFileThrow "swarm-github-app-credentials.yaml"++  webMain+    (AppData (gameGitVersion opts) creds persistenceFunctions (deploymentEnv opts))+    (fromMaybe defaultPort $ userWebPort opts)+ where+  persistenceFunctions =+    PersistenceLayer+      { scenarioStorage =+          ScenarioPersistence+            { lookupCache = withConn lookupScenarioSolution+            , storeCache = withConn insertScenario+            , getContent = withConn lookupScenarioContent+            }+      , solutionStorage =+          ScenarioPersistence+            { lookupCache = withConn lookupSolutionSubmission+            , storeCache = withConn insertSolutionSubmission+            , getContent = withConn lookupSolutionContent+            }+      , authenticationStorage =+          AuthenticationStorage+            { usernameFromCookie = withConn getUsernameFromCookie+            , cookieFromUsername = withConn insertCookie+            }+      }+   where+    withConn f x =+      withConnection databaseFilename $ \conn -> do+        execute_ conn "PRAGMA foreign_keys = ON;"+        runReaderT (f x) conn

@@ -2,7 +2,7 @@ For a full list of contributors, see https://github.com/swarm-game/swarm/graphs/contributors.  Join the community!-IRC: #swarm on libera.chat+Discord: https://discord.gg/kp8MuSgkPw Wiki: https://github.com/swarm-game/swarm/wiki  Interested in contributing to Swarm?  All are welcome!  See

@@ -3,1457 +3,1292 @@     attr: plant     char: 'T'   description:-  - |-    A tall, living entity made of a tough cellular material called "wood".-    They regrow after being harvested and are an important raw ingredient used-    in making many different devices.-  properties: [portable, growable, opaque, combustible]-  growth: [500, 600]-  combustion:-    ignition: 0.01-    duration: [80, 120]-    product: ash--- name: ash-  display:-    attr: rock-    char: '#'-  description:-  - |-    Burned-out remnants of combustion.-  properties: [portable]--- name: branch-  display:-    attr: wood-    char: 'y'-  description:-  - A branch cut from a tree.  It's as if the tree had to make a decision-    and was exploring two options.-  properties: [portable]--- name: log-  display:-    attr: wood-    char: 'l'-  description:-  - A wooden log, obtained by harvesting a tree and cutting off its branches.-  properties: [portable, combustible]-  combustion:-    ignition: 0.05-    duration: [40, 80]-    product: ash--- name: board-  display:-    attr: wood-    char: 'w'-  description:-  - A wooden board, made by cutting a log into pieces.-  properties: [portable, combustible]-  combustion:-    ignition: 0.2-    duration: [20, 40]-    product: ash--- name: workbench-  display:-    attr: wood-    char: 'π'-  description:-  - A plain wooden workbench, providing space to make other-    things using the `make` command.-  - |-    Example:-    ```-    make "log"-    ```-  properties: [portable]-  capabilities: [make]--- name: paper-  display:-    attr: snow-    char: '■'-  description:-  - A flat material made of pressed and dried wood fibers,-    used as a surface on which to inscribe symbols.-  properties: [portable, combustible]-  combustion:-    ignition: 0.5-    duration: [10, 20]-    product: ash--- name: PhD thesis-  display:-    attr: snow-    char: 'P'-  description:-  - Perhaps writing one of these will help gain the trust and respect of-    the native inhabitants.-  properties: [portable]--- name: rock-  display:-    attr: rock-    char: 'o'-  description:-  - A medium-sized rock, picked up from the ground or created by drilling.-    Can be ground into sand or used to build a simple furnace, among other things.-  properties: [portable]--- name: handle-  display:-    attr: device-    char: 'h'-  description:-  - Ergonomic affordance for manipulating objects. Also grants the "setname" capability, allowing one-    to assign a "handle" to robots.-  properties: [portable]-  capabilities: [setname]--- name: lodestone-  display:-    attr: iron-    char: 'o'-  description:-  - A medium-sized rock... that looks a little different.-    It seems to react to iron and surprisingly also to naturally growing bits.-  properties: [portable]-  capabilities: [negation]--- name: beaglepuss-  display:-    attr: rubber-    char: 'B'-  description:-  - Iconic novelty disguise. Renders one either completely inconspicuous, or the opposite.-  properties: [portable]-  capabilities: [appear]--- name: boulder-  display:-    attr: rock-    char: '@'-  description:-  - A very large, impassable rock. A drill can be used to get rid of it and turn it into smaller rocks.-  properties: [unwalkable]--- name: mountain-  display:-    attr: snow-    char: 'A'-  description:-  - A mountain. Can be tunneled through with a drill, but it takes time.-  properties: [unwalkable, opaque]--- name: mountain tunnel-  display:-    attr: snow-    char: 'Å'-    priority: 11-  description:-  - A tunnel in a mountain through which anything can freely move.-  properties: []--- name: copper ore-  display:-    attr: copper-    char: 'C'-  description:-  - Raw copper ore, useful for making wires, pipes, and other metal things.-    Patches of copper ore can be found on the surface, but are quickly exhausted.-  - Scanners seem to indicate larger quantities of copper could be found beneath some of the-    mountains, but those would require a drill to access and mine.-  properties: [portable]--- name: copper mine-  display:-    attr: copper'-    char: 'Å'-    priority: 11-  description:-  - A copper vein that can be actively mined to produce copper ore.-  properties: []--- name: copper wire-  display:-    attr: copper-    char: '|'-  description:-  - Copper wire is very good at conducting electricity and useful for-    making various types of circuits and machines.-  properties: [portable]--- name: strange loop-  display:-    attr: copper-    char: '8'-  description:-  - Two copper wires twisted together in a strange shape that loops-    back on itself. It must be useful for something...-  properties: [portable]-  capabilities: [recursion]--- name: copper pipe-  display:-    attr: copper-    char: 'I'-  description:-  - A pipe made out of a thin sheet of copper.  Great for transmitting-    water or steam.-  properties: [portable]--- name: iron plate-  display:-    attr: iron-    char: '■'-  description:-  - Worked iron suitable for crafting resilient tools.-  - It also possess some electro-magnetic properties.-  properties: [portable]--- name: iron gear-  display:-    attr: iron-    char: '*'-  description:-  - An iron gear, suitable for constructing larger, more powerful-    machinery than a wooden gear.-  properties: [portable]--- name: iron ore-  display:-    attr: iron-    char: 'F'-  description:-  - Raw iron ore. Used to create more resilient tools than copper.-  - It can only be mined by drilling in the mountains.-  properties: [portable]--- name: iron mine-  display:-    attr: iron'-    char: 'Å'-    priority: 11-  description:-  - An iron vein that can be actively mined to produce iron ore.-  properties: []--- name: quartz-  display:-    attr: quartz-    char: 'Q'-  description:-  - Raw quartz crystals.  Useful for creating devices like clocks, and-    can be processed to extract silicon.-  - It can only be mined by drilling in the mountains.-  properties: [portable]--- name: quartz mine-  display:-    attr: quartz-    char: 'Å'-    priority: 11-  description:-  - A quartz vein that can be actively mined to produce quartz.-  properties: []--- name: silicon-  display:-    attr: quartz-    char: 'S'-  description:-  - Extracted by processing quartz at high temperatures, silicon can-    be used to construct integrated circuits.-  properties: [portable]--- name: deep mine-  display:-    attr: rock-    char: 'Å'-    priority: 11-  description:-  - A deep mine that yields rare and wonderful treasures to those who are patient.-  - But be careful lest you delve too greedily and too deep.-  properties: []--- name: silver-  display:-    attr: silver-    char: '•'-  description:-  - A shiny, metallic substance, noted for its high reflectivity when polished.-  properties: [portable]--- name: gold-  display:-    attr: gold-    char: '•'-  description:-  - A shiny, metallic substance, with applications in specialized electronics.-  - It also seems to be highly valued by local aliens.-  properties: [portable]--- name: mithril-  display:-    attr: silver-    char: 'M'-  description:-  - Mithril can be beaten like copper, and polished like glass.  One-    can also make of it a metal, light and yet harder than tempered-    steel. Its beauty is like to that of common silver, but the beauty-    of mithril does not tarnish or grow dim.-  properties: [portable]--- name: furnace-  display:-    attr: fire-    char: '#'-  description:-  - A furnace can be used to turn metal ore into various useful products.-  properties: [portable]--- name: big furnace-  display:-    attr: fire-    char: '#'-  description:-  - A big furnace can get even hotter than a normal furnace, and can be used-    to process quartz into silicon.-  properties: [portable]--- name: small motor-  display:-    attr: entity-    char: 'm'-  description:-  - A motor is useful for making devices that can turn when electric-    current is applied.-  - This one is rather small, but surprisingly efficient.-  properties: [portable]--- name: big motor-  display:-    attr: entity-    char: 'M'-  description:-  - A motor is useful for making devices that can turn when electric-    current is applied.-  - This one is huge and could be used to construct powerful machinery.-  properties: [portable]--- name: flower-  display:-    attr: flower-    char: '*'-  description:-  - A beautiful flower that grows wild in local meadows.  It is not clear-    what it might be useful for, but it looks nice.-  properties: [portable, growable]-  growth: [30, 50]--- name: cotton-  display:-    attr: silver-    char: 'i'-  description:-  - A plant with tufts of soft fibers that can be harvested and used-    to make things, including sheets of material that the local-    aliens like to drape over their bodies.-  properties: [portable, growable, combustible]-  growth: [100, 800]-  combustion:-    ignition: 0.1-    duration: [20, 40]-    product: ash--- name: linotype-  display:-    attr: silver-    char: 't'-  description:-  - Employs hot lead typesetting to arrange glyphs into a mold for printing.-  - |-    An equipped `linotype`{=entity} device enables the `format` command:-    ```-    format : a -> text-    ```-    which can turn any value into a suitable text representation.-  properties: [portable]-  capabilities: [format]--- name: Elmer's glue-  display:-    attr: snow-    char: 'g'-  description:-  - Polyvinyl acetate. Popular adhesive for crafting. Of dubious nutritional value.-  - |-    Facilitates the concatenation of text values.-  - |-    The infix operator `++ : text -> text -> text`{=snippet}-    can be used to concatenate two text values.  For example,-  - |-    "Number of widgets: " ++ format numWidgets-  properties: [portable]-  capabilities: [concat]--- name: caliper-  display:-    attr: silver-    char: 'C'-  description:-  - Simple, yet accurate measuring device. Can determine the length of a text value.-  - |-    ```-    chars : text -> int-    ```-    computes the number of characters in a `text`{=type} value.-  properties: [portable]-  capabilities: [charcount]--- name: wedge-  display:-    attr: silver-    char: 'v'-  description:-  - A simple machine for the textually-inclined; plain but effective.-  - |-    An equipped `wedge`{=entity} enables the `split` command:-    ```-    split : int -> text -> text * text-    ```-    splits a `text`{=type} value into two pieces, one before the given index and one after.-  properties: [portable]-  capabilities: [split]--- name: string-  display:-    attr: silver-    char: '~'-  description:-  - A long, flexible device for transferring either force or-    information, made of twisted cotton fibers.  Multiple strings can-    also be woven into larger configurations such as cloth or nets.-  - |-    An equipped `string`{=entity} device enables several commands for working with-    `text`{=type} values:-  - |-    `format : a -> text` can turn any value into a suitable text-    representation.-  - |-    The infix operator `++ : text -> text -> text`{=snippet}-    can be used to concatenate two text values.  For example,-  - |-    ```-    let numWidgets = 42-    in "Number of widgets: " ++ format numWidgets-    ```-  - |-    `chars : text -> int` computes the number of characters in a-    `text`{=type} value.-  - |-    `split : int -> text -> text * text` splits a `text`{=type} value into-    two pieces, one before the given index and one after.-  properties: [portable]-  capabilities: [format, concat, charcount, split]--- name: decoder ring-  display:-    attr: silver-    char: 'O'-  description:-  - |-    A handy lookup table for converting from characters to numeric codes and-    back, shaped for some reason into a ring.  When equipped, it-    enables two functions:-  - |-    `charAt : int -> text -> int` returns the numeric code of the-    character at a specific index in a (0-indexed) `text`{=type} value.-  - |-    `toChar : int -> text` creates a singleton (length-1) `text`{=type}-    value containing a character with the given numeric code.-  properties: [portable]-  capabilities: [code]--- name: lambda-  display:-    attr: flower-    char: 'λ'-  description:-  - A wild lambda.  They are somewhat rare, but regrow when picked.  Lambdas-    are delicious when cooked into curry.-  - Lambdas can also be used to create functions. For example,-  - |-    ```-    def thrice : cmd unit -> cmd unit = \c. c;c;c end-    ```-  - defines the function `thrice`{=snippet} which repeats a command three times.-  properties: [portable, growable]-  growth: [100, 200]-  capabilities: [lambda]--- name: curry-  display:-    attr: flower-    char: 'C'-  description:-  - Delicious curry cooked from wild lambdas.-  properties: [portable]--- name: water-  display:-    attr: water-    char: ' '-  description:-  - Liquid dihydrogen monoxide, which seems to be plentiful on this planet.-  properties: [portable, infinite, liquid]--- name: wavy water-  display:-    attr: water-    char: '~'-  description:-  - A wavy section of water.  The same as normal water, but with more waves.-  properties: [portable, infinite, liquid]-  yields: water--- name: boat-  display:-    attr: wood-    char: 'B'-  description:-  - A robot with a boat equipped can float on top of water without drowning.-  - |-    **NOTE:** most devices are automatically equipped on robots that-    will require them; but this doesn't work in the case of boats since floating is not-    associated with any particular command.  To manually ensure a boat is equipped on-    a robot, just add the special command `require "boat"` to the robot's program.-  properties: [portable]-  capabilities: [float]--- name: sand-  display:-    attr: sand-    char: '█'-  description:-  - A substance composed mostly of tiny rocks and mineral particles that can be-    used in a furnace to make glass.  You can often find it near water, or-    make it yourself by grinding up rocks.-  properties: [portable]--- name: glass-  display:-    attr: entity-    char: '□'-  description:-  - A pane of a brittle, clear substance, made from melting sand in a furnace.-  properties: [portable]--- name: LaTeX-  display:-    attr: flower-    char: '$'-  description:-  - A naturally occurring substance derived from trees, useful for producing-    rubber and for typesetting mathematical documents.-  properties: [portable, growable]-  growth: [2000, 3000]--- name: rubber-  display:-    attr: rubber-    char: '%'-  description:-  - A flexible, durable material made from LaTeX.-  properties: [portable]--- name: bit (0)-  display:-    attr: entity-    char: '0'-  description:-  - A bit is used to represent the smallest possible amount of information.-    Useful for constructing various information-processing devices, as well as drills.-  properties: [portable, growable]-  growth: [200, 400]--- name: bit (1)-  display:-    attr: entity-    char: '1'-  description:-  - A bit is used to represent the smallest possible amount of information.-    Useful for constructing various information-processing devices, as well as drills.-  properties: [portable, growable]-  growth: [200, 400]--- name: pixel (R)-  display:-    attr: red-    char: '.'-  description:-  - A tiny picture element, used either to emit or detect red light.-  properties: [portable, growable]-  growth: [1000, 1500]--- name: pixel (G)-  display:-    attr: green-    char: '.'-  description:-  - A tiny picture element, used either to emit or detect green light.-  properties: [portable, growable]-  growth: [1000, 1500]--- name: pixel (B)-  display:-    attr: blue-    char: '.'-  description:-  - A tiny picture element, used either to emit or detect blue light.-  properties: [portable, growable]-  growth: [1000, 1500]--- name: camera-  display:-    attr: device-    char: '@'-  description:-  - A camera is a device for capturing images.-  properties: [portable]--- name: circuit-  display:-    attr: plant-    char: '#'-  description:-  - |-    A circuit is needed for constructing various "smart" devices.-  properties: [portable]--- name: drill bit-  display:-    attr: entity-    char: '!'-  description:-  - A drill bit is the most important component of a drill, and must be made-    out of two bits of opposite parity, for strength.-  properties: [portable]--- name: box-  display:-    attr: wood-    char: '□'-  description:-  - A wooden box.  It can hold things or be used as housing for other devices.-  properties: [portable]--- name: wooden gear-  display:-    attr: wood-    char: '*'-  description:-  - A wooden gear.  Not quite as strong or versatile as an iron gear, but easy to produce.-  properties: [portable]--- name: teeter-totter-  display:-    attr: wood-    char: '/'-  description:-  - A rotating board apparently popular with young aliens.  Perhaps it-    could also be used as a primitive balance scale.-  properties: [portable]--- name: Linux-  display:-    attr: entity-    char: 'L'-  description:-  - A copy of the Linux operating system.-  properties: [portable]--- name: gold coin-  display:-    char: '©'-    attr: gold-  description:-    - A small round shaped piece of gold metal that the aliens pass between-      each other occasionaly.-    - Besides staying shiny it does not appear to have practical use.-  properties: [portable]--############################################################-### Utility ################################################-############################################################--- name: upper left corner-  display:-    attr: entity-    char: '┌'-  description:-    - Upper left corner.-  properties: [unwalkable, known]--- name: upper right corner-  display:-    attr: entity-    char: '┐'-  description:-    - An upper right corner wall.-  properties: [unwalkable, known]--- name: lower left corner-  display:-    attr: entity-    char: '└'-  description:-    - A lower left corner wall.-  properties: [unwalkable, known]--- name: lower right corner-  display:-    attr: entity-    char: '┘'-  description:-    - A lower right corner wall.-  properties: [unwalkable, known]--- name: down and horizontal wall-  display:-    attr: entity-    char: '┬'-  description:-    - A down and horizontal wall.-  properties: [unwalkable, known]--- name: up and horizontal wall-  display:-    attr: entity-    char: '┴'-  description:-    - A up and horizontal wall.-  properties: [unwalkable, known]--- name: left and vertical wall-  display:-    attr: entity-    char: '┤'-  description:-    - A left and vertical wall.-  properties: [unwalkable, known]--- name: right and vertical wall-  display:-    attr: entity-    char: '├'-  description:-    - A right and vertical wall.-  properties: [unwalkable, known]--- name: horizontal wall-  display:-    attr: entity-    char: '─'-  description:-    - A horizontal wall.-  properties: [unwalkable, known]--- name: vertical wall-  display:-    attr: entity-    char: '│'-  description:-    - A vertical wall.-  properties: [unwalkable, known]--############################################################-### Devices ################################################-############################################################--- name: bitcoin-  display:-    char: '₿'-    attr: gold-  description:-    - A beautiful round shaped piece of metal that seems to be of great value-      to the aliens on this planet.-    - Just like the bit it has two sides and when you flip it, it lands perfectly-      randomly on one of the sides.-  properties: [portable]-  capabilities: [random]--- name: treads-  plural: treads-  display:-    attr: device-    char: '%'-  description:-  - Equipping treads on a robot allows it to move and turn.-  - The `move` command moves the robot forward one unit.-  - |-    For example to move two units:-  - |-    `move; move;`-  - The `turn` command takes a direction as an argument, which-    can be either absolute (north, west, east, south) or relative-    (left, right, forward, back, down).-  - |-    Example:-  - |-    `move; turn left; move; turn right`-  capabilities: [move, turn]-  properties: [portable]--- name: tank treads-  plural: tank treads-  display:-    attr: device-    char: '%'-  description:-  - Tank treads work like treads, but are large enough to move even heavy robots around.-  capabilities: [move, turn, moveheavy]-  properties: [portable]--- name: tape drive-  display:-    attr: device-    char: '%'-  description:-  - A `tape drive`{=entity} allows you to `backup`; that is, to drive in reverse.-  capabilities: [backup]-  properties: [portable]--- name: dozer blade-  display:-    attr: silver-    char: '/'-  description:-  - A broad, sturdy surface that can be attached to a robot and used to `push` objects.-  - |-    `push : cmd unit` will advance the robot and the entity in front of it forward by one step.-  properties: [portable]-  capabilities: [push]--- name: grabber-  display:-    attr: device-    char: '<'-  description:-  - A grabber arm is an all-purpose, hydraulically controlled device that can-    manipulate other items and robots via the `grab`, `place`, and `give`-    commands.-  - The `grab` command takes no arguments; it simply grabs whatever is-    available, and also returns the name of the grabbed thing as a string.-    It raises an exception if run in a cell that does not contain an item.-  - The `place` command takes one argument, the name of the item to-    place.  The item is removed from the robot's inventory and placed-    in the robot's current cell (which must be empty).  Raises an-    exception if the operation fails.-  - "The `give` command takes two arguments: the actor to-    give an item to (which can be at most 1 cell away), and the name-    of the item to give. Raises an exception if the operation fails."-  capabilities: [grab, give, place]-  properties: [portable]--- name: fast grabber-  display:-    attr: device-    char: '≪'-  description:-  - A fast grabber is an improved version of the basic grabber - not only-    can it `grab`, `place`, and `give`, it can also `swap`.-  - The `swap` command allows the robot to execute grab and place at the-    same time so that the location where the robot is standing does not-    become empty.-  - You can use this to prevent failures where multiple robots-    are trying to grab, place or scan a given location.-  - In addition you retain the capability to use the `atomic` command,-    with which you can implement other commands that are safe when-    run in parallel.-  capabilities: [grab, swap, give, place, atomic]-  properties: [portable]--- name: binoculars-  display:-    attr: device-    char: 'B'-  description:-  - Allows one to `scout` for other robots-  capabilities: [recondir]-  properties: [portable]--- name: welder-  display:-    attr: device-    char: 'f'-  description:-  - |-    A welder can be used to affix other gadgets to one's robot, providing-    the `equip` and `unequip` commands.-  - |-    The `equip` command takes one argument: the name of the device to equip.-    Raises an exception if the device is not in your inventory.-  - |-    The `unequip` command takes one argument: the name of the device to unequip.-    Raises an exception if the device is not equipped.-  capabilities: [equip, unequip]-  properties: [portable]--- name: harvester-  display:-    attr: device-    char: '≤'-  description:-  - A harvester can be used via the `harvest` command, which is-    almost identical to the `grab` command.  The big difference-    is that some entities, when harvested instead of grabbed,-    leave behind a seed which will eventually grow into another copy-    of the original entity.-  - For entities which do not grow, `harvest` behaves exactly the same-    as `grab`.-  capabilities: [grab, harvest, place]-  properties: [portable]--- name: toolkit-  display:-    attr: device-    char: 'Ѣ'-  description:-  - "A toolkit can be used, via the `salvage` command, to take apart old robots."-  - "`salvage` takes no arguments. It looks for an inactive-    robot (one which is not currently running a program) in the-    current cell. If an inactive robot is found, its log (if any) is-    downloaded and it is dismantled, transferring its knowledge, devices, and inventory to the-    robot running `salvage`.  If no inactive robots are found in the-    current cell, `salvage` does nothing."-  capabilities: [salvage]-  properties: [portable]--- name: solar panel-  display:-    attr: device-    char: '#'-  description:-  - An extremely efficient solar panel, capable of generating sufficient power-    from ambient starlight alone. A robot powered by one of these can operate any time,-    including on cloudy days and at night.-  capabilities: [power]-  properties: [portable]--- name: drill-  display:-    attr: device-    char: '!'-  description:-  - A drill allows robots to `drill` through rocks and mountains (with-    e.g. `drill forward`), and extract resources from mines (with-    `drill down`).-  capabilities: [drill]-  properties: [portable]--- name: metal drill-  display:-    attr: iron-    char: '!'-  description:-  - A metal drill allows robots to drill through rocks and mountains,-     and extract resources from mines, faster than a regular drill.-  - A metal drill is also able to drill deeper than a regular drill.  Thus, some resources-    are only reachable using a metal drill.-  capabilities: [drill]-  properties: [portable]--- name: typewriter-  display:-    attr: device-    char: 'Д'-  description:-  - A typewriter is used to inscribe symbols on paper, thus reifying pure, platonic-    information into a physical form.-  properties: [portable]--- name: 3D printer-  display:-    attr: device-    char: '3'-  description:-  - A 3D printer gives you the capability of printing more robots! You-    can access the 3D printer via the `build` command.-  - 'Example:'-  - |-    ```-    build {move; grab; turn back; move; give base "tree"}-    ```-  - |-    builds a robot to get the tree on the cell to the-    north (if there is one) and bring it back to the base. The `build` command-    always returns a reference to the newly constructed robot. For example,-  - |-    ```-    r <- build {move}; view r-    ```-  - |-    builds a robot and then views it.--  properties: [portable]-  capabilities: [build]--- name: dictionary-  display:-    attr: device-    char: 'D'--  description:-  - |-    A dictionary allows a robot to remember definitions and reuse them-    later.  You can access this ability with either a `def`{=snippet} command,-    which creates a name for an expression or command that is-    available from then on, or with a `let`{=snippet} expression, which names an-    expression or command locally within another expression.-  - |-    ```-    def m2 : cmd unit = move; move end-    ```-  - |-    ```-    let x : int = 3 in x^2 + 2*x + 1-    ```-  - The type annotations in `def`{=snippet} are optional.--  properties: [portable]-  capabilities: [env]--- name: branch predictor-  display:-    attr: device-    char: 'y'-  description:-  - |-    A branch predictor is a device which allows a robot to interpret-    conditional expressions.  The syntax for a conditional expression-    is `if` followed by three arguments: a boolean test and then-    two delayed expressions (i.e. expressions in curly braces) of the same type.-  - 'Example:'-  - |-    ```-    let x = 2 in-    if (x > 3) {move} {turn right; move}-    ```-  properties: [portable]-  capabilities: [cond]--- name: detonator-  display:-    attr: fire-    char: '*'-  description:-  - An explosive device which can be used to self-destruct, via the-    `selfdestruct` command.  Immediately vaporizes the robot and any-    inventory it is carrying.  Can be useful, say, if you are sending-    out some exploratory robots and don't want them cluttering up the-    world once they are done.-  properties: [portable]-  capabilities: [selfdestruct]--- name: life support system-  display:-    attr: device-    char: 'Ж'-  description:-  - A state-of-the-art life support system which maintains the-    particular temperature and mixture of gases you need to survive.-    It uses a sophisticated recirculating system and can run pretty-    much indefinitely.  Unfortunately, the atmosphere outside is-    severely toxic (why do the inhabitants of this planet need so much-    nitrogen!?), so you'll have to stay inside for now.-  properties: [portable]--- name: scanner-  display:-    attr: device-    char: '$'-  description:-  - "With a scanner device, robots can use the `scan` command to learn-    about their surroundings.  Simply give `scan` a direction in which to scan,-    and information about the scanned item (if any) will be added to the robot's-    inventory."-  - "A scanner also enables `blocked : cmd bool`, which returns a-     boolean value indicating whether the robot's path is blocked-     (i.e. whether executing a `move` command would fail);-     `ishere : text -> cmd bool` for checking whether the current-     cell contains a particular entity; and `isempty : cmd bool` for-     checking whether the current cell is empty of entities. Note that-     `ishere` and `isempty` do not detect robots, only entities."-  - "Finally, robots can use the `upload` command to copy their accumulated-    knowledge to another nearby robot; for example, `upload base`."-  properties: [portable]-  capabilities: [scan, sensefront, sensehere]--- name: olfactometer-  display:-    char: 'N'-  description:-  - An electronic "nose" that can tell how far away something is.-  - |-    `sniff : text -> cmd int` returns the distance to the nearest specified entity.-  properties: [portable]-  capabilities: [detectdistance]--- name: flash memory-  display:-    attr: device-    char: '§'-  description:-  - "A compact, non-volatile memory device, capable of storing-    up to 8 pZ of data."-  - "Flash memory can be used as a component of other devices.  In addition,-     a flash memory device can be used to reprogram other robots using the-     `reprogram` command."-  - "The robot being reprogrammed must be idle, and must possess enough capabilities to run the new command;-     otherwise reprogramming will fail."-  properties: [portable]-  capabilities: [reprogram]--- name: mirror-  display:-    attr: device-    char: 'U'-  description:-  - "With a mirror, robots can reflect on themselves and see their own name."-  - "A mirror enables the `whoami` command, which returns the robot's-     name as a string."-  - "It also enables the special `self` variable, which gives a robot-    a reference to itself."-  properties: [portable]-  capabilities: [whoami]--- name: logger-  display:-    attr: device-    char: 'l'-  description:-  - "Allows a robot to generate and store messages for later viewing,-    using the `log` command, which takes a string.  Log messages are-    also automatically generated by uncaught exceptions."-  properties: [portable]-  capabilities: [log]--- name: hearing aid-  display:-    attr: device-    char: '@'-  description:-  - "Allows a robot to hear anything being said nearby."-  - "Simply having this device equipped will automatically-     add messages said by nearby actors to this robot's log,-     assuming it has a logger equipped."-  - "That way you can view any heard message later either in-     the logger or the message window."-  - "To wait for a message and get the string value, use:"-  - |-    ```-    l <- listen; log $ "I have waited for someone to say " ++ l-    ```-  properties: [portable]-  capabilities: [listen]--- name: counter-  display:-    attr: device-    char: 'C'-  description:-  - |-    A counter enables the command `count : text -> cmd int`,-    which counts how many occurrences of an entity are currently-    in the inventory.  This is an upgraded version of the `has`-    command, which returns a bool instead of an int and does-    not require any special device.-  properties: [portable]-  capabilities: [count]--- name: calculator-  display:-    attr: device-    char: '+'-  description:-  - "A calculator allows a robot to do basic arithmetic calculations:-    addition, subtraction, multiplication, division, and-    exponentiation."-  properties: [portable]-  capabilities: [arith]--- name: ADT calculator-  display:-    attr: device-    char: '±'-  description:-  - |-    A calculator with Advanced Display Technology (an attached-    typewriter that can print out the results).  For some reason, in-    addition to the usual arithmetic on numbers, an ADT calculator can-    also do arithmetic on types!  After all, the helpful typewritten manual-    explains, a type is just a collection of values, and a finite collection-    of values is just a fancy number.  For example, the type `bool`{=type} is-    just a fancy version of the number 2, where the two things happen to be-    labelled `false` and `true`.  There are also types `unit`{=type} and-    `void`{=type} that correspond to 1 and 0, respectively.-  - |-    The product of two types is a type of pairs, since, for example,-    if `t`{=type} is a type with three elements, then there are 2 * 3 = 6-    different pairs containing a `bool`{=type} and a `t`{=type}, that is, 6 elements-    of type `bool * t`{=type}.  For working with products of types, the ADT-    calculator enables pair syntax `(1, "Hi!")` as well as the projection-    functions `fst : a * b -> a` and `snd : a * b -> b`.-  - |-    The sum of two types is a type with two options; for example, a-    value of type `bool + t`{=type} is either a `bool`{=type} value or a `t`{=type} value,-    and there are `2 + 3 == 5` such values.  For working with sums of-    types, the ADT calculator provides the injection functions `inl :-    a -> a + b` and `inr : b -> a + b`, as well as the case analysis-    function `case : (a + b) -> (a -> c) -> (b -> c) -> c`.  For-    example, `case (inl 3) (\x. 2*x) (\y. 3*y) == 6`, and `case (inr-    3) (\x. 2*x) (\y. 3*y) == 9`.--  properties: [portable]-  capabilities: [arith, sum, prod]--- name: compass-  display:-    attr: device-    char: 'N'-  description:-  - |-    A compass gives a robot the ability to orient using the cardinal-    directions north, south, west, and east. For example:-  - |-    `turn west; move; turn north`-  - |-    It also enables the `heading : cmd dir` command, which returns the-    robot's current heading. For example, the following code moves-    east and then restores the same heading as before:-  - |-    `d <- heading; turn east; move; turn d`-  properties: [portable]-  capabilities: [orient]--- name: clock-  display:-    attr: device-    char: '0'-  description:-  - A clock is a device for keeping track of time.  It enables the `wait` and `time` commands.-  - |-    `time : cmd int` returns the current time, measured in game ticks since the beginning of the game.-  - |-    `wait : int -> cmd unit` causes a robot to sleep for a specified amount of time (measured in game ticks).-  properties: [portable]-  capabilities: [timeabs, timerel]--- name: hourglass-  display:-    attr: device-    char: '8'-  description:-  - An hourglass can measure the relative passage of time.  It enables the `wait` command.-  - |-    `wait : int -> cmd unit` causes a robot to sleep for a specified amount of time (measured in game ticks).-  properties: [portable]-  capabilities: [timerel]--- name: rolex-  display:-    char: R-    attr: silver-  description:-  - Enables robots to use the `watch` command.-  - |-    `watch : dir -> cmd unit` will mark an adjacent (in the specified direction) location of interest to monitor for placement or removal of items.-    A subsequent call to `wait` will be interrupted upon a change to the location.-  properties: [portable]-  capabilities: [wakeself]--- name: comparator-  display:-    attr: device-    char: '>'-  description:-  - "A comparator allows comparing two values to see whether the first-    is less, equal, or greater than the second."-  - "Valid comparison operators are <, <=, >, >=, ==, and !=."-  properties: [portable]-  capabilities: [compare]--- name: I/O cable-  display:-    attr: device-    char: 'Ю'-  description:-  - An I/O cable can be used to communicate with adjacent actors.-  properties: [portable]--- name: rubber band-  display:-    attr: device-    char: 'O'-  description:-  - "A rubber band can tie multiple commands together so that other robots can't execute-    commands in between them.  It can be used via the `atomic` command. For example, suppose-    robot A executes the following code:"-  - |-    ```-    b <- ishere "rock"; if b {grab; return ()} {}-    ```-  - "This seems like a safe way to execute `grab` only when there is a-    rock to grab.  However, it is actually possible for the `grab` to-    fail, if some other robot B snatches the rock right after robot A sensed-    it and before robot A got around to grabbing it on the next game tick."-  - "This will make robot A very sad and it will crash."-  - "To prevent this situation, robot A can wrap the commands in `atomic`, like so:"-  - |-    ```-    atomic (b <- ishere "rock"; if b {grab; return ()} {})-    ```--  properties: [portable]-  capabilities: [atomic]--- name: net-  display:-    attr: silver-    char: '#'-  description:-  - A net is a device woven out of many strings.  With a net-    equipped, you can use the `try` command to catch errors. For example-  - |-    ```-    try {move} {turn left}-    ```-  - will attempt to move, but if that fails, turn left instead.-  properties: [portable]-  capabilities: [try]--- name: antenna-  display:-    attr: silver-    char: 'Y'-  description:-  - A device for transforming electric current into radio waves, and-    vice versa.  Antennas can be used to increase the viable range-    over which you can communicate with your robots.-  - |-    Antennas can also be used to locate nearby actors, by bouncing radio-    waves off them and listening for the echo.  This capability can be-    accessed via two commands:-  - |-    `meet : cmd (unit + actor)` tries to locate a-    nearby actor (a robot, or... something else?) up to one cell away.-    It returns a reference to the nearest actor, or a unit value if-    none are found.-  - |-    `meetAll : (b -> actor -> cmd b) -> b -> cmd b` runs a command on-    every nearby actor (other than oneself), folding over the results-    to compute a final result of type `b`{=type}.  For example, if-    `x`{=snippet}, `y`{=snippet}, and `z`{=snippet}-    are nearby actors, then `meetAll f b0`{=snippet} is equivalent to-    `b1 <- f b0 x; b2 <- f b1 y; f b2 z`{=snippet}.-  properties: [portable]-  capabilities: [meet]--- name: GPS receiver-  display:-    attr: device-    char: 'G'-  description:-  - |-    A GPS receiver triangulates your current (x,y) coordinates from-    some convenient satellite signals,-    enabling the command `whereami : cmd (int * int)`.-  properties: [portable]-  capabilities: [senseloc]--- name: tweezers-  display:-    attr: device-    char: 'V'-  description:-  - |-    Sometimes small, self-reproducing creatures get stuck inside a robot's-    relays, preventing it from executing properly.  Tweezers are-    useful for removing such pests, and for inspecting robots' detailed-    inner workings.-  properties: [portable]-  capabilities: [debug]--- name: victrola-  display:-    attr: device-    char: 'Q'-  description:-  - |-    A device for reading and writing data on circular platters made of-    a soft plastic material.  The stylus must be made of a-    hard and durable material, with a special tip that relies on-    quantum effects to extract high-density information.-  - |-    Also allows manipulating composite values consisting of a-    collection of named fields.  For example, `[x = 2, y = "hi"]`-    is a value of type `[x : int, y : text]`{=type}.  Individual fields-    can be projected using dot notation.  For example,-    `let r = [y="hi", x=2] in r.x` has the value `2`.  The order-    of the fields does not matter.-  properties: [portable]-  capabilities: [record]--- name: quantum dot-  display:-    attr: gold-    char: '.'-  description:-  - |-    A nanoscale semiconductor particle with a wide range of-    applications.-  properties: [portable]--- name: 'key'-  display:-    attr: gold-    char: 'k'-  description:-  - A versatile item, with uses such as opening-    locked doors, entering input, and retrieving stored values.-  properties: [portable]--- name: keyboard-  display:-    attr: device-    char: 'K'-  description:-  - A small device with multiple keys, adapted for your unique anatomy.-  - |-    `installKeyHandler : text -> (key -> cmd unit) -> cmd unit`-    installs a custom handler function that can be activated to-    respond to keyboard inputs typed at the REPL.-  - |-    `key : text -> key` constructs values of type `key`{=type}, for-    example `key "Down"` or `key "C-S-x"`.-  properties: [portable]-  capabilities: [handleinput]--- name: halting oracle-  display:-    attr: device-    char: '?'-  description:-  - A device to solve the halting problem. When asked if a-    particular robot program will halt, it always answers YES.-    And it is always correct... or else!-  - |-    Enables the command `halt : actor -> cmd unit` which takes-    a robot as an argument and, if it is up to one cell away,-    cancels its currently running program (if any).  In creative mode,-    there is no distance limitation.-  properties: [portable]-  capabilities: [halt]+    - |+      A tall, living entity made of a tough cellular material called "wood".+      They regrow after being harvested and are an important raw ingredient used+      in making many different devices.+  properties: [pickable, growable, opaque, combustible]+  growth: [500, 600]+  combustion:+    ignition: 0.01+    duration: [80, 120]+    product: ash+- name: ash+  display:+    attr: rock+    char: '#'+  description:+    - |+      Burned-out remnants of combustion.+  properties: [pickable]+- name: branch+  display:+    attr: wood+    char: 'y'+  description:+    - A branch cut from a tree.  It's as if the tree had to make a decision and was exploring two options.+  properties: [pickable]+- name: log+  display:+    attr: wood+    char: 'l'+  description:+    - A wooden log, obtained by harvesting a tree and cutting off its branches.+  properties: [pickable, combustible]+  combustion:+    ignition: 0.05+    duration: [40, 80]+    product: ash+- name: board+  display:+    attr: wood+    char: 'w'+  description:+    - A wooden board, made by cutting a log into pieces.+  properties: [pickable, combustible]+  combustion:+    ignition: 0.2+    duration: [20, 40]+    product: ash+- name: workbench+  display:+    attr: wood+    char: 'π'+  description:+    - A plain wooden workbench, providing space to make other things using the `make` command.+    - |+      Example:+      ```+      make "log"+      ```+  properties: [pickable]+  capabilities: [make]+- name: paper+  display:+    attr: snow+    char: '■'+  description:+    - A flat material made of pressed and dried wood fibers, used as a surface on which to inscribe symbols.+  properties: [pickable, combustible]+  combustion:+    ignition: 0.5+    duration: [10, 20]+    product: ash+- name: PhD thesis+  display:+    attr: snow+    char: 'P'+  description:+    - Perhaps writing one of these will help gain the trust and respect of the native inhabitants.+  properties: [pickable]+- name: rock+  display:+    attr: rock+    char: 'o'+  description:+    - A medium-sized rock, picked up from the ground or created by drilling. Can be ground into sand or used to build a simple furnace, among other things.+  properties: [pickable]+- name: handle+  display:+    attr: device+    char: 'h'+  description:+    - Ergonomic affordance for manipulating objects. Also grants the "setname" capability, allowing one to assign a "handle" to robots.+  properties: [pickable]+  capabilities: [setname]+- name: lodestone+  display:+    attr: iron+    char: 'o'+  description:+    - A medium-sized rock... that looks a little different. It seems to react to iron and surprisingly also to naturally growing bits.+  properties: [pickable]+  capabilities: [negation]+- name: beaglepuss+  display:+    attr: rubber+    char: 'B'+  description:+    - Iconic novelty disguise. Renders one either completely inconspicuous, or the opposite.+  properties: [pickable]+  capabilities: [appear]+- name: boulder+  display:+    attr: rock+    char: '@'+  description:+    - A very large, impassable rock. A drill can be used to get rid of it and turn it into smaller rocks.+  properties: [unwalkable]+- name: mountain+  display:+    attr: snow+    char: 'A'+  description:+    - A mountain. Can be tunneled through with a drill, but it takes time.+  properties: [unwalkable, opaque]+- name: mountain tunnel+  display:+    attr: snow+    char: 'Å'+    priority: 11+  description:+    - A tunnel in a mountain through which anything can freely move.+  properties: []+- name: copper ore+  display:+    attr: copper+    char: 'C'+  description:+    - Raw copper ore, useful for making wires, pipes, and other metal things. Patches of copper ore can be found on the surface, but are quickly exhausted.+    - Scanners seem to indicate larger quantities of copper could be found beneath some of the mountains, but those would require a drill to access and mine.+  properties: [pickable]+- name: copper mine+  display:+    attr: copper'+    char: 'Å'+    priority: 11+  description:+    - A copper vein that can be actively mined to produce copper ore.+  properties: []+- name: copper wire+  display:+    attr: copper+    char: '|'+  description:+    - Copper wire is very good at conducting electricity and useful for making various types of circuits and machines.+  properties: [pickable]+- name: strange loop+  display:+    attr: copper+    char: '8'+  description:+    - Two copper wires twisted together in a strange shape that loops back on itself. It must be useful for something...+  properties: [pickable]+  capabilities: [recursion]+- name: copper pipe+  display:+    attr: copper+    char: 'I'+  description:+    - A pipe made out of a thin sheet of copper.  Great for transmitting water or steam.+  properties: [pickable]+- name: iron plate+  display:+    attr: iron+    char: '■'+  description:+    - Worked iron suitable for crafting resilient tools.+    - It also possess some electro-magnetic properties.+  properties: [pickable]+- name: iron gear+  display:+    attr: iron+    char: '*'+  description:+    - An iron gear, suitable for constructing larger, more powerful machinery than a wooden gear.+  properties: [pickable]+- name: iron ore+  display:+    attr: iron+    char: 'F'+  description:+    - Raw iron ore. Used to create more resilient tools than copper.+    - It can only be mined by drilling in the mountains.+  properties: [pickable]+- name: iron mine+  display:+    attr: iron'+    char: 'Å'+    priority: 11+  description:+    - An iron vein that can be actively mined to produce iron ore.+  properties: []+- name: quartz+  display:+    attr: quartz+    char: 'Q'+  description:+    - Raw quartz crystals.  Useful for creating devices like clocks, and can be processed to extract silicon.+    - It can only be mined by drilling in the mountains.+  properties: [pickable]+- name: quartz mine+  display:+    attr: quartz+    char: 'Å'+    priority: 11+  description:+    - A quartz vein that can be actively mined to produce quartz.+  properties: []+- name: silicon+  display:+    attr: quartz+    char: 'S'+  description:+    - Extracted by processing quartz at high temperatures, silicon can be used to construct integrated circuits.+  properties: [pickable]+- name: deep mine+  display:+    attr: rock+    char: 'Å'+    priority: 11+  description:+    - A deep mine that yields rare and wonderful treasures to those who are patient.+    - But be careful lest you delve too greedily and too deep.+  properties: []+- name: silver+  display:+    attr: silver+    char: '•'+  description:+    - A shiny, metallic substance, noted for its high reflectivity when polished.+  properties: [pickable]+- name: gold+  display:+    attr: gold+    char: '•'+  description:+    - A shiny, metallic substance, with applications in specialized electronics.+    - It also seems to be highly valued by local aliens.+  properties: [pickable]+- name: mithril+  display:+    attr: silver+    char: 'M'+  description:+    - Mithril can be beaten like copper, and polished like glass.  One can also make of it a metal, light and yet harder than tempered steel. Its beauty is like to that of common silver, but the beauty of mithril does not tarnish or grow dim.+  properties: [pickable]+- name: furnace+  display:+    attr: fire+    char: '#'+  description:+    - A furnace can be used to turn metal ore into various useful products.+  properties: [pickable]+- name: big furnace+  display:+    attr: fire+    char: '#'+  description:+    - A big furnace can get even hotter than a normal furnace, and can be used to process quartz into silicon.+  properties: [pickable]+- name: small motor+  display:+    attr: entity+    char: 'm'+  description:+    - A motor is useful for making devices that can turn when electric current is applied.+    - This one is rather small, but surprisingly efficient.+  properties: [pickable]+- name: big motor+  display:+    attr: entity+    char: 'M'+  description:+    - A motor is useful for making devices that can turn when electric current is applied.+    - This one is huge and could be used to construct powerful machinery.+  properties: [pickable]+- name: flower+  display:+    attr: flower+    char: '*'+  description:+    - A beautiful flower that grows wild in local meadows.  It is not clear what it might be useful for, but it looks nice.+  properties: [pickable, growable]+  growth: [30, 50]+- name: tea plant+  display:+    attr: plant+    char: 't'+  description:+    - Camellia sinensis.+  properties: [pickable, growable]+  growth: [5000, 6000]+  yields: tea leaves+- name: cup of tea+  display:+    attr: sand+    char: 'u'+  description:+    - A nice hot cup of tea.+  properties: [pickable]+- name: tea leaves+  display:+    attr: plant+    char: 'l'+  description:+    - Leaves picked from a tea plant.  They give off a nice smell when crushed.+  properties: [pickable]+- name: cotton+  display:+    attr: silver+    char: 'i'+  description:+    - A plant with tufts of soft fibers that can be harvested and used to make things, including sheets of material that the local aliens like to drape over their bodies.+  properties: [pickable, growable, combustible]+  growth: [100, 800]+  combustion:+    ignition: 0.1+    duration: [20, 40]+    product: ash+- name: linotype+  display:+    attr: silver+    char: 't'+  description:+    - Employs hot lead typesetting to arrange glyphs into a mold for printing.+    - |+      An equipped `linotype`{=entity} device enables the `format` command:+      ```+      format : a -> Text+      ```+      which can turn any value into a suitable text representation.+  properties: [pickable]+  capabilities: [format]+- name: Elmer's glue+  display:+    attr: snow+    char: 'g'+  description:+    - Polyvinyl acetate. Popular adhesive for crafting. Of dubious nutritional value.+    - |+      Facilitates the concatenation of text values.+    - |+      The infix operator `++ : Text -> Text -> Text`{=snippet}+      can be used to concatenate two `Text`{=type} values.  For example,+    - |+      ```+      let numWidgets = 42+      in "Number of widgets: " ++ format numWidgets+      ```+  properties: [pickable]+  capabilities: [concat]+- name: caliper+  display:+    attr: silver+    char: 'C'+  description:+    - Simple, yet accurate measuring device. Can determine the length of a text value.+    - |+      ```+      chars : Text -> Int+      ```+      computes the number of characters in a `Text`{=type} value.+  properties: [pickable]+  capabilities: [charcount]+- name: wedge+  display:+    attr: silver+    char: 'v'+  description:+    - A simple machine for the textually-inclined; plain but effective.+    - |+      An equipped `wedge`{=entity} enables the `split` command:+      ```+      split : Int -> Text -> Text * Text+      ```+      splits a `Text`{=type} value into two pieces, one before the given index and one after.+  properties: [pickable]+  capabilities: [split]+- name: string+  display:+    attr: silver+    char: '~'+  description:+    - A long, flexible device for transferring either force or information, made of twisted cotton fibers.  Multiple strings can also be woven into larger configurations such as cloth or nets.+    - |+      An equipped `string`{=entity} device enables several commands for working with+      `Text`{=type} values:+    - |+      `format : a -> Text` can turn any value into a suitable text+      representation.+    - |+      The infix operator `++ : Text -> Text -> Text`{=snippet}+      can be used to concatenate two text values.  For example,+    - |+      ```+      let numWidgets = 42+      in "Number of widgets: " ++ format numWidgets+      ```+    - |+      `chars : Text -> Int` computes the number of characters in a+      `Text`{=type} value.+    - |+      `split : Int -> Text -> Text * Text` splits a `Text`{=type} value into+      two pieces, one before the given index and one after.+  properties: [pickable]+  capabilities: [format, concat, charcount, split]+- name: decoder ring+  display:+    attr: silver+    char: 'O'+  description:+    - |+      A handy lookup table for converting from characters to numeric codes and+      back, shaped for some reason into a ring.  When equipped, it+      enables two functions:+    - |+      `charAt : Int -> Text -> Int` returns the numeric code of the+      character at a specific index in a (0-indexed) `Text`{=type} value.+    - |+      `toChar : Int -> Text` creates a singleton (length-1) `Text`{=type}+      value containing a character with the given numeric code.+  properties: [pickable]+  capabilities: [code]+- name: lambda+  display:+    attr: flower+    char: 'λ'+  description:+    - A wild lambda.  They are somewhat rare, but regrow when picked.  Lambdas are delicious when cooked into curry.+    - Lambdas can also be used to create functions. For example,+    - |+      ```+      def thrice : Cmd Unit -> Cmd Unit = \c. c;c;c end+      ```+    - defines the function `thrice`{=snippet} which repeats a command three times.+  properties: [pickable, growable]+  growth: [100, 200]+  capabilities: [lambda]+- name: curry+  display:+    attr: flower+    char: 'C'+  description:+    - Delicious curry cooked from wild lambdas.+  properties: [pickable]+- name: water+  display:+    attr: water+    char: ' '+  description:+    - Liquid dihydrogen monoxide, which seems to be plentiful on this planet.+  properties: [pickable, infinite, liquid]+- name: wavy water+  display:+    attr: water+    char: '~'+  description:+    - A wavy section of water.  The same as normal water, but with more waves.+  properties: [pickable, infinite, liquid]+  yields: water+- name: boat+  display:+    attr: wood+    char: 'B'+  description:+    - A robot with a boat equipped can float on top of water without drowning.+    - |+      **NOTE:** most devices are automatically equipped on robots that+      will require them; but this doesn't work in the case of boats since floating is not+      associated with any particular command.  To manually ensure a boat is equipped on+      a robot, just add the special command `require "boat"` to the robot's program.+  properties: [pickable]+  capabilities: [float]+- name: sand+  display:+    attr: sand+    char: '█'+  description:+    - A substance composed mostly of tiny rocks and mineral particles that can be used in a furnace to make glass.  You can often find it near water, or make it yourself by grinding up rocks.+  properties: [pickable]+- name: glass+  display:+    attr: entity+    char: '□'+  description:+    - A pane of a brittle, clear substance, made from melting sand in a furnace.+  properties: [pickable]+- name: lens+  display:+    attr: entity+    char: 'O'+  description:+    - A polished, rounded piece of glass, capable of focusing rays of light.+  properties: [pickable]+- name: LaTeX+  display:+    attr: flower+    char: '$'+  description:+    - A naturally occurring substance derived from trees, useful for producing rubber and for typesetting mathematical documents.+  properties: [pickable, growable]+  growth: [2000, 3000]+- name: rubber+  display:+    attr: rubber+    char: '%'+  description:+    - A flexible, durable material made from LaTeX.+  properties: [pickable]+- name: bit (0)+  display:+    attr: entity+    char: '0'+  description:+    - A bit is used to represent the smallest possible amount of information. Useful for constructing various information-processing devices, as well as drills.+  properties: [pickable, growable]+  growth: [200, 400]+- name: bit (1)+  display:+    attr: entity+    char: '1'+  description:+    - A bit is used to represent the smallest possible amount of information. Useful for constructing various information-processing devices, as well as drills.+  properties: [pickable, growable]+  growth: [200, 400]+- name: pixel (R)+  display:+    attr: red+    char: '.'+  description:+    - A tiny picture element, used either to emit or detect red light.+  properties: [pickable, growable]+  growth: [1000, 1500]+- name: pixel (G)+  display:+    attr: green+    char: '.'+  description:+    - A tiny picture element, used either to emit or detect green light.+  properties: [pickable, growable]+  growth: [1000, 1500]+- name: pixel (B)+  display:+    attr: blue+    char: '.'+  description:+    - A tiny picture element, used either to emit or detect blue light.+  properties: [pickable, growable]+  growth: [1000, 1500]+- name: camera+  display:+    attr: device+    char: '@'+  description:+    - A camera is a device for capturing images.+  properties: [pickable]+- name: circuit+  display:+    attr: plant+    char: '#'+  description:+    - |+      A circuit is needed for constructing various "smart" devices.+  properties: [pickable]+- name: blueprint+  display:+    attr: blue+    char: 'B'+  description:+    - This enables the `structure` and `floorplan` commands to locate and analyze structures placed in the world.+    - |+      `structure : Text -> Int -> Cmd (Unit + (Int * (Int * Int)))`+    - Gets the x, y coordinates of the southwest corner of a constructed structure, by name and index.+    - |+      `floorplan : Text -> Cmd (Int * Int)`+    - Gets the dimensions of a structure template.+  properties: [pickable]+  capabilities: [structure]+- name: drill bit+  display:+    attr: entity+    char: '!'+  description:+    - A drill bit is the most important component of a drill, and must be made out of two bits of opposite parity, for strength.+  properties: [pickable]+- name: box+  display:+    attr: wood+    char: '□'+  description:+    - A wooden box.  It can hold things or be used as housing for other devices.+  properties: [pickable]+- name: wooden gear+  display:+    attr: wood+    char: '*'+  description:+    - A wooden gear.  Not quite as strong or versatile as an iron gear, but easy to produce.+  properties: [pickable]+- name: teeter-totter+  display:+    attr: wood+    char: '/'+  description:+    - A rotating board apparently popular with young aliens.  Perhaps it could also be used as a primitive balance scale.+  properties: [pickable]+- name: Linux+  display:+    attr: entity+    char: 'L'+  description:+    - A copy of the Linux operating system.+  properties: [pickable]+- name: gold coin+  display:+    char: '©'+    attr: gold+  description:+    - A small round shaped piece of gold metal that the aliens pass between each other occasionaly.+    - Besides staying shiny it does not appear to have practical use.+  properties: [pickable]+############################################################+### Utility ################################################+############################################################+- name: upper left corner+  display:+    attr: entity+    char: '┌'+  description:+    - Upper left corner.+  properties: [unwalkable, known]+- name: upper right corner+  display:+    attr: entity+    char: '┐'+  description:+    - An upper right corner wall.+  properties: [unwalkable, known]+- name: lower left corner+  display:+    attr: entity+    char: '└'+  description:+    - A lower left corner wall.+  properties: [unwalkable, known]+- name: lower right corner+  display:+    attr: entity+    char: '┘'+  description:+    - A lower right corner wall.+  properties: [unwalkable, known]+- name: down and horizontal wall+  display:+    attr: entity+    char: '┬'+  description:+    - A down and horizontal wall.+  properties: [unwalkable, known]+- name: up and horizontal wall+  display:+    attr: entity+    char: '┴'+  description:+    - A up and horizontal wall.+  properties: [unwalkable, known]+- name: left and vertical wall+  display:+    attr: entity+    char: '┤'+  description:+    - A left and vertical wall.+  properties: [unwalkable, known]+- name: right and vertical wall+  display:+    attr: entity+    char: '├'+  description:+    - A right and vertical wall.+  properties: [unwalkable, known]+- name: horizontal wall+  display:+    attr: entity+    char: '─'+  description:+    - A horizontal wall.+  properties: [unwalkable, known]+- name: vertical wall+  display:+    attr: entity+    char: '│'+  description:+    - A vertical wall.+  properties: [unwalkable, known]+############################################################+### Devices ################################################+############################################################+- name: bitcoin+  display:+    char: '₿'+    attr: gold+  description:+    - A beautiful round shaped piece of metal that seems to be of great value to the aliens on this planet.+    - Just like the bit it has two sides and when you flip it, it lands perfectly randomly on one of the sides.+  properties: [pickable]+  capabilities: [random]+- name: treads+  plural: treads+  display:+    attr: device+    char: '%'+  description:+    - Equipping treads on a robot allows it to move and turn.+    - The `move` command moves the robot forward one unit.+    - |+      For example to move two units:+    - |+      `move; move;`+    - The `turn` command takes a direction as an argument, which can be either absolute (north, west, east, south) or relative (left, right, forward, back, down).+    - |+      Example:+    - |+      `move; turn left; move; turn right`+  capabilities: [move, turn]+  properties: [pickable]+- name: tank treads+  plural: tank treads+  display:+    attr: device+    char: '%'+  description:+    - Tank treads work like treads, but are large enough to move even heavy robots around.+  capabilities: [move, turn, moveheavy]+  properties: [pickable]+- name: tape drive+  display:+    attr: device+    char: '%'+  description:+    - A `tape drive`{=entity} allows you to `backup`; that is, to drive in reverse.+  capabilities: [backup]+  properties: [pickable]+- name: dozer blade+  display:+    attr: silver+    char: '/'+  description:+    - A broad, sturdy surface that can be attached to a robot and used to `push` objects.+    - |+      `push : Cmd Unit` will advance the robot and the entity in front of it forward by one step.+  properties: [pickable]+  capabilities: [push]+- name: grabber+  display:+    attr: device+    char: '<'+  description:+    - A grabber arm is an all-purpose, hydraulically controlled device that can manipulate other items and robots via the `grab`, `place`, and `give` commands.+    - The `grab` command takes no arguments; it simply grabs whatever is available, and also returns the name of the grabbed thing as a string. It raises an exception if run in a cell that does not contain an item.+    - The `place` command takes one argument, the name of the item to place.  The item is removed from the robot's inventory and placed in the robot's current cell (which must be empty).  Raises an exception if the operation fails.+    - "The `give` command takes two arguments: the `Actor`{=type} to give an item to (which can be at most 1 cell away), and the name of the item to give. Raises an exception if the operation fails."+  capabilities: [grab, give, place]+  properties: [pickable]+- name: fast grabber+  display:+    attr: device+    char: '≪'+  description:+    - A fast grabber is an improved version of the basic grabber - not only can it `grab`, `place`, and `give`, it can also `swap`.+    - The `swap` command allows the robot to execute grab and place at the same time so that the location where the robot is standing does not become empty.+    - You can use this to prevent failures where multiple robots are trying to grab, place or scan a given location.+    - In addition you retain the capability to use the `atomic` command, with which you can implement other commands that are safe when run in parallel.+  capabilities: [grab, swap, give, place, atomic]+  properties: [pickable]+- name: binoculars+  display:+    attr: device+    char: 'B'+  description:+    - Allows one to `scout` for other robots+  capabilities: [recondir]+  properties: [pickable]+- name: welder+  display:+    attr: device+    char: 'f'+  description:+    - |+      A welder can be used to affix other gadgets to one's robot, providing+      the `equip` and `unequip` commands.+    - |+      The `equip` command takes one argument: the name of the device to equip.+      Raises an exception if the device is not in your inventory.+    - |+      The `unequip` command takes one argument: the name of the device to unequip.+      Raises an exception if the device is not equipped.+  capabilities: [equip, unequip]+  properties: [pickable]+- name: harvester+  display:+    attr: device+    char: '≤'+  description:+    - A harvester can be used via the `harvest` command, which is almost identical to the `grab` command.  The big difference is that some entities, when harvested instead of grabbed, leave behind a seed which will eventually grow into another copy of the original entity.+    - For entities which do not grow, `harvest` behaves exactly the same as `grab`.+  capabilities: [grab, harvest, place]+  properties: [pickable]+- name: toolkit+  display:+    attr: device+    char: 'Ѣ'+  description:+    - "A toolkit can be used, via the `salvage` command, to take apart old robots."+    - "`salvage` takes no arguments. It looks for an inactive robot (one which is not currently running a program) in the current cell. If an inactive robot is found, its log (if any) is downloaded and it is dismantled, transferring its knowledge, devices, and inventory to the robot running `salvage`.  If no inactive robots are found in the current cell, `salvage` does nothing."+  capabilities: [salvage]+  properties: [pickable]+- name: solar panel+  display:+    attr: device+    char: '#'+  description:+    - An extremely efficient solar panel, capable of generating sufficient power from ambient starlight alone. A robot powered by one of these can operate any time, including on cloudy days and at night.+  capabilities: [power]+  properties: [pickable]+- name: drill+  display:+    attr: device+    char: '!'+  description:+    - A drill allows robots to `drill` through rocks and mountains (with e.g. `drill forward`), and extract resources from mines (with `drill down`).+  capabilities: [drill]+  properties: [pickable]+- name: metal drill+  display:+    attr: iron+    char: '!'+  description:+    - A metal drill allows robots to drill through rocks and mountains, and extract resources from mines, faster than a regular drill.+    - A metal drill is also able to drill deeper than a regular drill.  Thus, some resources are only reachable using a metal drill.+  capabilities: [drill]+  properties: [pickable]+- name: typewriter+  display:+    attr: device+    char: 'Д'+  description:+    - A typewriter is used to inscribe symbols on paper, thus reifying pure, platonic information into a physical form.+  properties: [pickable]+- name: 3D printer+  display:+    attr: device+    char: '3'+  description:+    - A 3D printer gives you the capability of printing more robots! You can access the 3D printer via the `build` command.+    - 'Example:'+    - |+      ```+      build {move; grab; turn back; move; give base "tree"}+      ```+    - |+      builds a robot to get the tree on the cell to the+      north (if there is one) and bring it back to the base. The `build` command+      always returns a reference to the newly constructed robot. For example,+    - |+      ```+      r <- build {move}; view r+      ```+    - |+      builds a robot and then views it.+  properties: [pickable]+  capabilities: [build]+- name: dictionary+  display:+    attr: device+    char: 'D'+  description:+    - |+      A dictionary allows a robot to remember definitions and reuse them+      later.  You can access this ability with either a `def`{=snippet} command,+      which creates a name for an expression or command that is+      available from then on, or with a `let`{=snippet} expression, which names an+      expression or command locally within another expression.+    - |+      ```+      def m2 : Cmd Unit = move; move end+      ```+    - |+      ```+      let x : Int = 3 in x^2 + 2*x + 1+      ```+    - The type annotations in `def`{=snippet} are optional.+  properties: [pickable]+  capabilities: [env]+- name: branch predictor+  display:+    attr: device+    char: 'y'+  description:+    - |+      A branch predictor is a device which allows a robot to interpret+      conditional expressions.  The syntax for a conditional expression+      is `if` followed by three arguments: a boolean test and then+      two delayed expressions (i.e. expressions in curly braces) of the same type.+    - 'Example:'+    - |+      ```+      let x = 2 in+      if (x > 3) {move} {turn right; move}+      ```+  properties: [pickable]+  capabilities: [cond]+- name: detonator+  display:+    attr: fire+    char: '*'+  description:+    - An explosive device which can be used to self-destruct, via the `selfdestruct` command.  Immediately vaporizes the robot and any inventory it is carrying.  Can be useful, say, if you are sending out some exploratory robots and don't want them cluttering up the world once they are done.+  properties: [pickable]+  capabilities: [selfdestruct]+- name: life support system+  display:+    attr: device+    char: 'Ж'+  description:+    - A state-of-the-art life support system which maintains the particular temperature and mixture of gases you need to survive. It uses a sophisticated recirculating system and can run pretty much indefinitely.  Unfortunately, the atmosphere outside is severely toxic (why do the inhabitants of this planet need so much nitrogen!?), so you'll have to stay inside for now.+  properties: [pickable]+- name: scanner+  display:+    attr: device+    char: '$'+  description:+    - "With a scanner device, robots can use the `scan` command to learn about their surroundings.  Simply give `scan` a direction in which to scan, and information about the scanned item (if any) will be added to the robot's inventory."+    - "A scanner also enables `blocked : Cmd Bool`, which returns a boolean value indicating whether the robot's path is blocked (i.e. whether executing a `move` command would fail); `ishere : Text -> Cmd Bool` for checking whether the current cell contains a particular entity; and `isempty : Cmd Bool` for checking whether the current cell is empty of entities. Note that `ishere` and `isempty` do not detect robots, only entities."+    - "Finally, robots can use the `upload` command to copy their accumulated knowledge to another nearby robot; for example, `upload base`."+  properties: [pickable]+  capabilities: [scan, sensefront, sensehere]+- name: olfactometer+  display:+    char: 'N'+  description:+    - An electronic "nose" that can tell how far away something is.+    - |+      `sniff : Text -> Cmd Int` returns the distance to the nearest specified entity.+  properties: [pickable]+  capabilities: [detectdistance]+- name: flash memory+  display:+    attr: device+    char: '§'+  description:+    - "A compact, non-volatile memory device, capable of storing up to 8 pZ of data."+    - "Flash memory can be used as a component of other devices.  In addition, a flash memory device can be used to reprogram other robots using the `reprogram` command."+    - "The robot being reprogrammed must be idle, and must possess enough capabilities to run the new command; otherwise reprogramming will fail."+  properties: [pickable]+  capabilities: [reprogram]+- name: mirror+  display:+    attr: device+    char: 'U'+  description:+    - "With a mirror, robots can reflect on themselves and see their own name."+    - "A mirror enables the `whoami` command, which returns the robot's name as a string."+    - "It also enables the special `self` variable, which gives a robot a reference to itself."+  properties: [pickable]+  capabilities: [whoami]+- name: logger+  display:+    attr: device+    char: 'l'+  description:+    - "Allows a robot to generate and store messages for later viewing, using the `log` command, which takes a string.  Log messages are also automatically generated by uncaught exceptions."+  properties: [pickable]+  capabilities: [log]+- name: hearing aid+  display:+    attr: device+    char: '@'+  description:+    - "Allows a robot to hear anything being said nearby."+    - "Simply having this device equipped will automatically add messages said by nearby actors to this robot's log, assuming it has a logger equipped."+    - "That way you can view any heard message later either in the logger or the message window."+    - "To wait for a message and get the string value, use:"+    - |+      ```+      l <- listen; log $ "I have waited for someone to say " ++ l+      ```+  properties: [pickable]+  capabilities: [listen]+- name: counter+  display:+    attr: device+    char: 'C'+  description:+    - |+      A counter enables the command `count : Text -> Cmd Int`,+      which counts how many occurrences of an entity are currently+      in the inventory.  This is an upgraded version of the `has`+      command, which returns a `Bool`{=type} instead of an `Int`{=type} and does+      not require any special device.+  properties: [pickable]+  capabilities: [count]+- name: calculator+  display:+    attr: device+    char: '+'+  description:+    - "A calculator allows a robot to do basic arithmetic calculations: addition, subtraction, multiplication, division, and exponentiation."+  properties: [pickable]+  capabilities: [arith]+- name: ADT calculator+  display:+    attr: device+    char: '±'+  description:+    - |+      A calculator with Advanced Display Technology (an attached+      typewriter that can print out the results).  For some reason, in+      addition to the usual arithmetic on numbers, an ADT calculator can+      also do arithmetic on types!  After all, the helpful typewritten manual+      explains, a type is just a collection of values, and a finite collection+      of values is just a fancy number.  For example, the type `Bool`{=type} is+      just a fancy version of the number 2, where the two things happen to be+      labelled `false` and `true`.  There are also types `Unit`{=type} and+      `Void`{=type} that correspond to 1 and 0, respectively.+    - |+      The product of two types is a type of pairs, since, for example,+      if `t`{=type} is a type with three elements, then there are 2 * 3 = 6+      different pairs containing a `Bool`{=type} and a `t`{=type}, that is, 6 elements+      of type `Bool * t`{=type}.  For working with products of types, the ADT+      calculator enables pair syntax `(1, "Hi!")` as well as the projection+      functions `fst : a * b -> a` and `snd : a * b -> b`.+    - |+      The sum of two types is a type with two options; for example, a+      value of type `Bool + t`{=type} is either a `Bool`{=type} value or a `t`{=type} value,+      and there are `2 + 3 == 5` such values.  For working with sums of+      types, the ADT calculator provides the injection functions `inl :+      a -> a + b` and `inr : b -> a + b`, as well as the case analysis+      function `case : (a + b) -> (a -> c) -> (b -> c) -> c`.  For+      example, `case (inl 3) (\x. 2*x) (\y. 3*y) == 6`, and `case (inr+      3) (\x. 2*x) (\y. 3*y) == 9`.+  properties: [pickable]+  capabilities: [arith, sum, prod]+- name: hyperloop+  display:+    attr: device+    char: '∞'+  description:+    - |+      Is it a calculator with a strange antenna?  A strange loop with+      a built-in calculator?  Who can say?  A `hyperloop`{=entity}+      gives you the ability to create recursive types: the type+      `rec t. T(t)`{=snippet} (where `T(t)`{=snippet} is some type+      containing `t`{=type}) is the type `t`{=type} such that+      `t = T(t)`{=snippet}. For exmple, `rec l. Unit + Int * l`{=type} is+      the type of lists of integers.+  properties: [pickable]+  capabilities: [arith, sum, prod, rectype]+- name: compass+  display:+    attr: device+    char: 'N'+  description:+    - |+      A compass gives a robot the ability to orient using the cardinal+      directions north, south, west, and east. For example:+    - |+      `turn west; move; turn north`+    - |+      It also enables the `heading : Cmd Dir` command, which returns the+      robot's current heading. For example, the following code moves+      east and then restores the same heading as before:+    - |+      `d <- heading; turn east; move; turn d`+  properties: [pickable]+  capabilities: [orient]+- name: clock+  display:+    attr: device+    char: '0'+  description:+    - A clock is a device for keeping track of time.  It enables the `wait` and `time` commands.+    - |+      `time : Cmd Int` returns the current time, measured in game ticks since the beginning of the game.+    - |+      `wait : Int -> Cmd Unit` causes a robot to sleep for a specified amount of time (measured in game ticks).+  properties: [pickable]+  capabilities: [timeabs, timerel]+- name: hourglass+  display:+    attr: device+    char: '8'+  description:+    - An hourglass can measure the relative passage of time.  It enables the `wait` command.+    - |+      `wait : Int -> Cmd Unit` causes a robot to sleep for a specified amount of time (measured in game ticks).+  properties: [pickable]+  capabilities: [timerel]+- name: rolex+  display:+    char: R+    attr: silver+  description:+    - Enables robots to use the `watch` and `wait` commands.+    - |+      `watch : Dir -> Cmd Unit` will mark an adjacent (in the specified direction) location of interest to monitor for placement or removal of items.+      A subsequent call to `wait` will be interrupted upon a change to the location.+  properties: [pickable]+  capabilities: [timerel, wakeself]+- name: comparator+  display:+    attr: device+    char: '>'+  description:+    - "A comparator allows comparing two values to see whether the first is less, equal, or greater than the second."+    - "Valid comparison operators are <, <=, >, >=, ==, and !=."+  properties: [pickable]+  capabilities: [compare]+- name: I/O cable+  display:+    attr: device+    char: 'Ю'+  description:+    - An I/O cable can be used to communicate with adjacent actors.+  properties: [pickable]+- name: rubber band+  display:+    attr: device+    char: 'O'+  description:+    - "A rubber band can tie multiple commands together so that other robots can't execute commands in between them.  It can be used via the `atomic` command. For example, suppose robot A executes the following code:"+    - |+      ```+      b <- ishere "rock"; if b {grab; return ()} {}+      ```+    - "This seems like a safe way to execute `grab` only when there is a rock to grab.  However, it is actually possible for the `grab` to fail, if some other robot B snatches the rock right after robot A sensed it and before robot A got around to grabbing it on the next game tick."+    - "This will make robot A very sad and it will crash."+    - "To prevent this situation, robot A can wrap the commands in `atomic`, like so:"+    - |+      ```+      atomic (b <- ishere "rock"; if b {grab; return ()} {})+      ```+  properties: [pickable]+  capabilities: [atomic]+- name: net+  display:+    attr: silver+    char: '#'+  description:+    - A net is a device woven out of many strings.  With a net equipped, you can use the `try` command to catch errors. For example+    - |+      ```+      try {move} {turn left}+      ```+    - will attempt to move, but if that fails, turn left instead.+  properties: [pickable]+  capabilities: [try]+- name: antenna+  display:+    attr: silver+    char: 'Y'+  description:+    - A device for transforming electric current into radio waves, and vice versa.  Antennas can be used to increase the viable range over which you can communicate with your robots.+    - |+      Antennas can also be used to locate nearby actors, by bouncing radio+      waves off them and listening for the echo.  This capability can be+      accessed via two commands:+    - |+      `meet : Cmd (Unit + Actor)` tries to locate a+      nearby actor (a robot, or... something else?) up to one cell away.+      It returns a reference to the nearest actor, or a unit value if+      none are found.+    - |+      `meetAll : Cmd (rec l. Unit + Actor * l)` returns a list of+      all the nearby actors other than oneself.+  properties: [pickable]+  capabilities: [meet]+- name: GPS receiver+  display:+    attr: device+    char: 'G'+  description:+    - |+      A GPS receiver triangulates your current (x,y) coordinates from+      some convenient satellite signals,+      enabling the command `whereami : Cmd (Int * Int)`.+  properties: [pickable]+  capabilities: [senseloc]+- name: tweezers+  display:+    attr: device+    char: 'V'+  description:+    - |+      Sometimes small, self-reproducing creatures get stuck inside a robot's+      relays, preventing it from executing properly.  Tweezers are+      useful for removing such pests, and for inspecting robots' detailed+      inner workings.+  properties: [pickable]+  capabilities: [debug]+- name: victrola+  display:+    attr: device+    char: 'Q'+  description:+    - |+      A device for reading and writing data on circular platters made of+      a soft plastic material.  The stylus must be made of a+      hard and durable material, with a special tip that relies on+      quantum effects to extract high-density information.+    - |+      Also allows manipulating composite values consisting of a+      collection of named fields.  For example, `[x = 2, y = "hi"]`+      is a value of type `[x : Int, y : Text]`{=type}.  Individual fields+      can be projected using dot notation.  For example,+      `let r = [y="hi", x=2] in r.x` has the value `2`.  The order+      of the fields does not matter.+  properties: [pickable]+  capabilities: [record]+- name: quantum dot+  display:+    attr: gold+    char: '.'+  description:+    - |+      A nanoscale semiconductor particle with a wide range of+      applications.+  properties: [pickable]+- name: 'key'+  display:+    attr: gold+    char: 'k'+  description:+    - A versatile item, with uses such as opening locked doors, entering input, and retrieving stored values.+  properties: [pickable]+- name: keyboard+  display:+    attr: device+    char: 'K'+  description:+    - A small device with multiple keys, adapted for your unique anatomy.+    - |+      `installKeyHandler : Text -> (Key -> Cmd Unit) -> Cmd Unit`+      installs a custom handler function that can be activated to+      respond to keyboard inputs typed at the REPL.+    - |+      `key : Text -> Key` constructs values of type `Key`{=type}, for+      example `key "Down"` or `key "C-S-x"`.+  properties: [pickable]+  capabilities: [handleinput]+- name: halting oracle+  display:+    attr: device+    char: '?'+  description:+    - A device to solve the halting problem. When asked if a particular robot program will halt, it always answers YES. And it is always correct... or else!+    - |+      Enables the command `halt : Actor -> Cmd Unit` which takes+      a robot as an argument and, if it is up to one cell away,+      cancels its currently running program (if any).  In creative mode,+      there is no distance limitation.+  properties: [pickable]+  capabilities: [halt]+- name: atomic vector plotter+  display:+    attr: device+    char: 'A'+  description:+    - A plot device for plotting interstellar and intermolecular atomic vector gradients.+  properties: [pickable]+- name: infinite improbability drive+  display:+    attr: device+    char: 'I'+  description:+    - |+      Enables the `teleport` command, which takes as arguments an+      `Actor`{=type} and a location in the form of a pair of+      coordinates, and teleports the given actor to the specified+      coordinates (and may also have some improbable side effects).+  properties: [pickable]+  capabilities: [teleport]