remove everything that is not used by image denotation

.github/workflows/lean_action_ci.yml

@@ -0,0 +1,33 @@
+name: Lean Action CI
+
+on:
+  push:
+  pull_request:
+  workflow_dispatch:
+
+jobs:
+  build:
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        os: [ubuntu-22.04, macos-latest]
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: extractions/setup-just@v2
+
+      - name: install lean
+        uses: leanprover/lean-action@v1
+        with:
+          build: false
+          test: false
+          lint: false
+
+      - name: Install raylib deps
+        if: runner.os == 'Linux'
+        run: sudo apt-get install -y --no-install-recommends libglfw3 libglfw3-dev libx11-dev libxcursor-dev libxrandr-dev libxinerama-dev libxi-dev libxext-dev libxfixes-dev libwayland-dev libxkbcommon-dev
+
+      # inherits lake installation from the build step
+      - name: build
+        run: just build

.gitignore

@@ -1,4 +1,2 @@
 /.lake
-/lib
-c/include/bundle.h
-build/
+lib/

README.md

@@ -1,79 +1,5 @@
-# raylean
+# Image Denotation
 
-Lean4 bindings for [raylib](http://www.raylib.com/).
-
-## Community
-
-If you want to contribute to Raylean, you can find us on [Discord](https://discord.gg/mdgKuGAMQj) <a href="https://discord.gg/mdgKuGAMQj"><img alt="Discord" title="Raylean's Discord" height="16" width="16" src="./resources/discord.svg"/></a>
-
-## How build the demo executable target (MacOS only)
-
-The project comes with a demo executable target. To build and run this use the provided [justfile](./justfile).
-
-For now only macOS is supported.
-
-### Dependencies
-
-Raylean has several dependencies:
-
-* [Lean](https://lean-lang.org), which we use for development of games.
-* [Just](https://github.com/casey/just), as a replacement for Make.
-* XCode for macOS SDK frameworks like OpenGL.
-* [Rust](https://www.rust-lang.org/) for building resvg, which provides SVG support.
-
-You need to install all four to build Raylean. Below follows instructions for each.
-
-#### [Lean](https://lean-lang.org)
-
-Use the [official documentation](https://lean-lang.org/lean4/doc/quickstart.html) to setup Lean.
-
-#### [Just command runner](https://github.com/casey/just)
-
-Install using [Homebrew](https://brew.sh) with:
-
-``` sh
-brew install just
-```
-
-#### XCode Commandline Tools
-
-The macOS clang installation and macOS SDK frameworks like OpenGL are required when linking the executable.
-
-Install by running:
-
-``` sh
-xcode-select --install
-```
-
-#### [Rust](https://www.rust-lang.org/)
-
-```sh
-curl https://sh.rustup.rs -sSf | sh
-```
-
-Or use the [official documentation](https://www.rust-lang.org/tools/install) to setup Rust.
-
-### Build and Run
-
-To build the raylib static library and the demo executable, run the following command in the project:
-
-``` sh
-just build
-```
-
-To run the demo, run the following command in the project:
-
-``` sh
-just run
-```
-
-### Assets
-
-Assets used by the demo application are stored in the [resources](./resources) directory.
-
-
-| Asset                                | Attribution                                              |
-|--------------------------------------|----------------------------------------------------------|
-| [walter.png](./resources/walter.png) | [Liza Schulze](https://www.linkedin.com/in/lizaschulze/) |
-| [Asset.svg](./resources/Asset.svg)   | [Liza Schulze](https://www.linkedin.com/in/lizaschulze/) |
+Proofs about Image Denotations including drawings via [raylean](https://github.com/funexists/raylean).
 
+This work is inspired by [Functional Images - Conal Elliott](http://conal.net/papers/functional-images/)