Add Agda doc and tests

2026-01-25 07:16:42 +00:00 · 2024-07-11 16:29:45 -03:00
parent 1f36e55b31
commit 7d8b984900
4 changed files with 42 additions and 2 deletions
--- a/tests/test_new.diff
+++ b/tests/test_new.diff
@@ -491,3 +491,23 @@ index 0000000..0ce9b1a
 +TODO: Create an issue for TODO
 +-}
 +sum a b = a + b
+diff --git a/src/Swarm/Game/example.agda b/src/Swarm/Game/example.agda
+new file mode 100644
+index 0000000..0ce9b1a
+--- /dev/null
+++ b/src/Swarm/Game/example.agda
+@@ -0,0 +1,14 @@
+-- | Standard devices that are always installed.
+--
+-- TODO: Remove standard devices
+--   In the future, make a way to build these and just start the base
+--   out with a large supply of each?
+--   labels: redesign
+stdDeviceList =
+  ["treads", "grabber", "solar panel", "scanner", "plasma cutter"]
+
+{- | Very complicated function.
+
+TODO: Create an issue for TODO
+-}
+sum a b = a + b