Add headers (#77)

2024-12-03 14:50:24 +00:00 · 2024-01-12 13:13:52 +01:00 · 2024-01-12 13:13:52 +01:00 · 60b91def4a
commit 60b91def4a
parent d50ea23fb2
3 changed files with 6 additions and 0 deletions
--- a/math.aqua
+++ b/math.aqua
@ -1,3 +1,5 @@
+aqua MathLib declares *
+
 service Math("math"):
    -- x + y
    add(x: i64, y: i64) -> i64
--- a/subnet.aqua
+++ b/subnet.aqua
@ -1,3 +1,5 @@
+aqua SubnetLib declares *
+
 data Worker:
  pat_id: string
  host_id: string
--- a/workers.aqua
+++ b/workers.aqua
@ -1,3 +1,5 @@
+aqua WorkersLib declares *
+
 import PeerId from "./builtin.aqua"

 -- Available only on rust peers