• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for swarm-0.4 source tarball

swarm-0.4/

• CHANGELOG.md
• LICENSE
• swarm.cabal
• app/
  • Main.hs
• bench/
  • Benchmark.hs
• data/
  • about.txt
  • adjectives.txt
  • entities.yaml
  • logo.txt
  • names.txt
  • recipes.yaml
  • scenarios/
    • 00-ORDER.txt
    • blank.yaml
    • classic.yaml
    • creative.yaml
    • Challenges/
      • 00-ORDER.txt
      • 2048.yaml
      • arbitrage.yaml
      • blender.yaml
      • bridge-building.yaml
      • bucket-brigade.yaml
      • chess_horse.yaml
      • friend.yaml
      • gopher.yaml
      • hackman.yaml
      • hanoi.yaml
      • ice-cream.yaml
      • lights-out.yaml
      • maypole.yaml
      • teleport.yaml
      • wolf-goat-cabbage.yaml
      • word-search.yaml
      • Mazes/
        • 00-ORDER.txt
        • easy_cave_maze.yaml
        • easy_spiral_maze.yaml
        • invisible_maze.yaml
        • loopy_maze.yaml
        • loopy_maze_sol.sw
      • Ranching/
        • 00-ORDER.txt
        • capture.yaml
        • gated-paddock.yaml
        • powerset.yaml
        • _capture/
          • opponent.sw
          • solution.sw
        • _gated-paddock/
          • enclosure-checking.sw
          • fence-construction.sw
          • meandering-sheep.sw
        • _powerset/
          • setup.sw
          • solution.sw
      • Sliding Puzzles/
        • 00-ORDER.txt
        • 3x3.yaml
        • _sliding-puzzle/
          • maintainer.sw
          • setup.sw
          • solution.sw
          • validate-board.sw
      • Sokoban/
        • 00-ORDER.txt
        • foresight.yaml
        • Gadgets/
          • 00-ORDER.txt
          • no-reverse.yaml
          • one-way.yaml
        • Simple/
          • 00-ORDER.txt
          • trapdoor.yaml
        • _foresight/
          • solution.sw
      • _arbitrage/
        • solution.sw
      • _blender/
        • apprehension-checker.sw
        • patrol-clockwise.sw
        • patrol-counter-clockwise.sw
        • solution.sw
      • _bridge-building/
        • flower-ring-check.sw
        • solution.sw
      • _bucket-brigade/
        • brigade.sw
        • hauler.sw
        • powerplant.sw
      • _friend/
        • cat.sw
        • friend-solution.sw
      • _gopher/
        • gopher.sw
        • solution.sw
      • _hackman/
        • fruit_maker.sw
        • ghost.sw
        • solution.sw
        • teleporter.sw
      • _hanoi/
        • hanoi-count.sw
        • hanoi-increasing.sw
        • hanoi-invariant.sw
        • hanoi-solution.sw
      • _ice-cream/
        • customer.sw
        • solution.sw
      • _lights-out/
        • assistant.sw
        • solution.sw
      • _maypole/
        • monitor.sw
        • solution.sw
      • _wolf-goat-cabbage/
        • cross.sw
        • multi-item-possession.sw
        • together-on-east-bank.sw
        • unattended-together.sw
      • _word-search/
        • create-puzzle.sw
        • solution.sw
        • verify-solution.sw
    • Fun/
      • 00-ORDER.txt
      • GoL.yaml
      • logo-burst.yaml
      • _logo-burst/
        • coordinator.sw
        • drone.sw
    • Mechanics/
      • 00-ORDER.txt
      • active-trapdoor.yaml
      • _active-trapdoor/
        • gate.sw
        • solution.sw
    • Speedruns/
      • 00-ORDER.txt
      • curry.yaml
      • forester.yaml
      • mithril.yaml
    • Testing/
      • 00-ORDER.txt
      • 1007-use-command.yaml
      • 1024-sand.yaml
      • 1034-custom-attributes.yaml
      • 1140-detect-command.yaml
      • 1157-drill-return-value.yaml
      • 1171-chirp-command.yaml
      • 1171-resonate-command.yaml
      • 1171-sniff-command.yaml
      • 1207-scout-command.yaml
      • 1218-stride-command.yaml
      • 1234-push-command.yaml
      • 1256-halt-command.yaml
      • 1295-density-command.yaml
      • 1379-single-world-portal-reorientation.yaml
      • 1399-backup-command.yaml
      • 373-drill.yaml
      • 378-objectives.yaml
      • 394-build-drill.yaml
      • 397-wrong-missing.yaml
      • 428-drowning-destroy.yaml
      • 475-wait-one.yaml
      • 479-atomic-race.yaml
      • 479-atomic.yaml
      • 490-harvest.yaml
      • 504-teleport-self.yaml
      • 508-capability-subset.yaml
      • 555-teleport-location.yaml
      • 562-lodestone.sw
      • 562-lodestone.yaml
      • 684-swap.yaml
      • 687-watch-command.yaml
      • 710-multi-robot.yaml
      • 920-meet.yaml
      • 955-heading.yaml
      • 956-GPS.yaml
      • 958-isempty.yaml
      • 961-custom-capabilities.yaml
      • 1138-structures/
        • 00-ORDER.txt
        • flip-and-rotate.yaml
        • nested-structure.yaml
        • sibling-precedence.yaml
      • 1320-world-DSL/
        • 00-ORDER.txt
        • constant.yaml
        • erase.yaml
        • override.yaml
      • 1356-portals/
        • 00-ORDER.txt
        • automatic-waypoint-patrol.yaml
        • portals-and-waypoints.yaml
        • portals-flip-and-rotate.yaml
        • _automatic-waypoint-patrol/
          • program.sw
        • _portals-flip-and-rotate/
          • solution.sw
      • 144-subworlds/
        • 00-ORDER.txt
        • basic-subworld.yaml
        • spatial-consistency-enforcement.yaml
        • subworld-located-robots.yaml
        • subworld-mapped-robots.yaml
        • subworld-shared-structures.yaml
        • _basic-subworld/
          • solution.sw
        • _subworld-located-robots/
          • solution.sw
        • _subworld-mapped-robots/
          • judges.sw
          • solution.sw
      • 201-require/
        • 00-ORDER.txt
        • 201-require-device-creative.yaml
        • 201-require-device-creative1.yaml
        • 201-require-device.yaml
        • 201-require-entities-def.yaml
        • 201-require-entities.yaml
        • 533-reprogram-simple.yaml
        • 533-reprogram.yaml
      • 699-movement-fail/
        • 00-ORDER.txt
        • 699-move-blocked.yaml
        • 699-move-liquid.yaml
        • 699-teleport-blocked.yaml
      • 795-prerequisite/
        • 00-ORDER.txt
        • 795-prerequisite-and.yaml
        • 795-prerequisite-cycle-with-not.yaml
        • 795-prerequisite-mutually-exclusive.yaml
        • 795-prerequisite-or.yaml
      • 858-inventory/
        • 00-ORDER.txt
        • 858-counting-objective.yaml
        • 858-nonpossession-objective.yaml
        • 858-possession-objective.yaml
      • _Validation/
        • 1221-duplicate-entities.yaml
        • 1356-ambiguous-portal-entrance.yaml
        • 1356-ambiguous-portal-exit.yaml
        • 1356-waypoint-uniqueness-enforcement.yaml
        • 144-spatial-consistency-enforcement.yaml
        • 144-subworld-uniqueness-enforcement-default.yaml
        • 144-subworld-uniqueness-enforcement-named.yaml
        • 795-prerequisite-cycle.yaml
        • 795-prerequisite-nonexistent-reference.yaml
        • 795-prerequisite-self-reference.yaml
    • Tutorials/
      • 00-ORDER.txt
      • backstory.yaml
      • bind2.yaml
      • build.yaml
      • conditionals.yaml
      • craft.yaml
      • crash-secret.sw
      • crash.yaml
      • def.yaml
      • equip.yaml
      • farming.sw
      • farming.yaml
      • give.yaml
      • grab.yaml
      • lambda.yaml
      • make_curry.sw
      • move.yaml
      • move_system.sw
      • place.yaml
      • require.yaml
      • requireinv.yaml
      • scan.yaml
      • type-errors.yaml
      • types.yaml
      • world101.yaml
    • Vignettes/
      • 00-ORDER.txt
      • roadway.yaml
      • _roadway/
        • coordinator.sw
        • drone.sw
  • test/
    • language-snippets/
      • code-size/
        • double-move-def-with-invocation.sw
        • double-move-let-with-invocation.sw
        • single-def-two-args-recursive-with-invocation.sw
        • single-def-two-args-recursive.sw
        • single-move-bare.sw
        • single-move-def-with-invocation.sw
        • single-move-def.sw
        • single-move-let-with-invocation.sw
      • warnings/
        • unused-vars/
          • multiple-lambda-first-unused.sw
          • multiple-lambda-second-unused.sw
          • multiple-let-all-unused.sw
          • multiple-let-first-unused.sw
          • multiple-let-second-unused.sw
          • recursive-let.sw
          • shadowed-variable-lambda-unused.sw
          • shadowed-variable-let-intermediate-use.sw
          • shadowed-variable-let-unused.sw
          • single-bind-unused.sw
          • single-bind-used.sw
  • worlds/
    • classic.world
• editors/
  • emacs/
    • swarm-mode.el
  • vscode/
    • syntaxes/
      • swarm.tmLanguage.json
• example/
  • BFS-clear.sw
  • cat.sw
  • dfs.sw
  • fact.sw
  • list.sw
  • multi-key-handler.sw
  • pilotmode.sw
  • wander.sw
• src/
  • Control/
    • Carrier/
      • Accum/
        • FixedStrict.hs
  • Data/
    • BoolExpr/
      • Simplify.hs
  • Swarm/
    • App.hs
    • Constant.hs
    • ReadableIORef.hs
    • Util.hs
    • Version.hs
    • Web.hs
    • Doc/
      • Gen.hs
      • Pedagogy.hs
    • Game/
      • CESK.hs
      • Display.hs
      • Entity.hs
      • Exception.hs
      • Failure.hs
      • Location.hs
      • Log.hs
      • Recipe.hs
      • ResourceLoading.hs
      • Robot.hs
      • Scenario.hs
      • ScenarioInfo.hs
      • State.hs
      • Step.hs
      • Terrain.hs
      • Universe.hs
      • Value.hs
      • World.hs
      • Achievement/
        • Attainment.hs
        • Definitions.hs
        • Description.hs
        • Persistence.hs
      • Scenario/
        • Objective.hs
        • RobotLookup.hs
        • Status.hs
        • Style.hs
        • Objective/
          • Graph.hs
          • Logic.hs
          • Validation.hs
          • WinCheck.hs
        • Scoring/
          • Best.hs
          • CodeSize.hs
          • ConcreteMetrics.hs
          • GenericMetrics.hs
        • Topography/
          • Area.hs
          • Cell.hs
          • EntityFacade.hs
          • Placement.hs
          • Structure.hs
          • WorldDescription.hs
          • WorldPalette.hs
          • Navigation/
            • Portal.hs
            • Waypoint.hs
      • World/
        • Abstract.hs
        • Compile.hs
        • Coords.hs
        • Eval.hs
        • Gen.hs
        • Interpret.hs
        • Load.hs
        • Parse.hs
        • Syntax.hs
        • Typecheck.hs
    • Language/
      • Capability.hs
      • Context.hs
      • Direction.hs
      • Elaborate.hs
      • Key.hs
      • LSP.hs
      • Module.hs
      • Parse.hs
      • Pipeline.hs
      • Pretty.hs
      • Requirement.hs
      • Syntax.hs
      • Typecheck.hs
      • Typed.hs
      • Types.hs
      • Value.hs
      • LSP/
        • Hover.hs
        • VarUsage.hs
      • Parse/
        • QQ.hs
      • Pipeline/
        • QQ.hs
      • Text/
        • Markdown.hs
      • Typecheck/
        • Unify.hs
    • TUI/
      • Attr.hs
      • Border.hs
      • Controller.hs
      • List.hs
      • Model.hs
      • Panel.hs
      • View.hs
      • Controller/
        • Util.hs
      • Editor/
        • Controller.hs
        • Json.hs
        • Masking.hs
        • Model.hs
        • Palette.hs
        • Util.hs
        • View.hs
      • Inventory/
        • Sorting.hs
      • Launch/
        • Controller.hs
        • Model.hs
        • Prep.hs
        • View.hs
      • Model/
        • Goal.hs
        • Menu.hs
        • Name.hs
        • Repl.hs
        • StateUpdate.hs
        • UI.hs
      • View/
        • Achievement.hs
        • CellDisplay.hs
        • CustomStyling.hs
        • Objective.hs
        • Util.hs
    • Util/
      • Effect.hs
      • Erasable.hs
      • Lens.hs
      • Parse.hs
      • Yaml.hs
• test/
  • integration/
    • Main.hs
  • unit/
    • Main.hs
    • TestBoolExpr.hs
    • TestCommand.hs
    • TestEval.hs
    • TestInventory.hs
    • TestLSP.hs
    • TestLanguagePipeline.hs
    • TestModel.hs
    • TestNotification.hs
    • TestPedagogy.hs
    • TestPretty.hs
    • TestScoring.hs
    • TestUtil.hs