chore: Aiken shell

.github/workflows/continuous-integration.yml

@@ -0,0 +1,18 @@
+name: Continuous Integration
+
+on:
+  push:
+    branches: ["main"]
+  pull_request:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: aiken-lang/setup-aiken@v1
+        with:
+          version: v1.1.2
+      - run: aiken fmt --check
+      - run: aiken check -D
+      - run: aiken build

.gitignore

@@ -0,0 +1,13 @@
+# Aiken compilation artifacts
+artifacts/
+# Aiken's project working directory
+build/
+# Aiken's default documentation export
+docs/
+
+# Direnv configuration
+.direnv/
+.envrc
+
+# git pre-commit hooks
+.pre-commit-config.yaml

Makefile

@@ -0,0 +1,14 @@
+.PHONY: all build build-dbg clean format
+
+all: clean format build build-dbg
+	@echo "Done!"
+
+clean:
+	@rm -f ./scripts/*.plutus
+
+format:
+	@aiken fmt
+
+build:
+	@aiken build -u
+	# @aiken blueprint convert --validator key.revoke > ./scripts/key_validator.plutus

README.md

@@ -0,0 +1,6 @@
+# bet-ref example using Aiken
+
+This repository contains on-chain code for bet-ref example as it appears in
+[Atlas PAB](https://github.com/geniusyield/atlas).
+
+This work is done as a part of Catalyst [project](https://milestones.projectcatalyst.io/projects/1000121) aimed at building a Cardano emulator.

aiken.lock

@@ -0,0 +1,15 @@
+# This file was generated by Aiken
+# You typically do not need to edit this file
+
+[[requirements]]
+name = "aiken-lang/stdlib"
+version = "v2.1.0"
+source = "github"
+
+[[packages]]
+name = "aiken-lang/stdlib"
+version = "v2.1.0"
+requirements = []
+source = "github"
+
+[etags]

aiken.toml

@@ -0,0 +1,18 @@
+name = "mlabs-haskell/bet-ref-aiken"
+version = "0.0.0"
+compiler = "v1.1.2"
+plutus = "v3"
+license = "Apache-2.0"
+description = "Aiken contracts for project 'mlabs-haskell/bet-ref-aiken'"
+
+[repository]
+user = "mlabs-haskell"
+project = "bet-ref-aiken"
+platform = "github"
+
+[[dependencies]]
+name = "aiken-lang/stdlib"
+version = "v2.1.0"
+source = "github"
+
+[config]