Update `main.yml` to use version of stdlib

[Akshobhya1234]

Wait for stdlib release 2.0 to setup workflow.

[JacquesCarette]

Can you add details to this issue so that I too can understand it?

[Akshobhya1234]

Can you add details to this issue so that I too can understand it?

In PR #4 we add main.yml and we download the tar file of stdlib release with the version defined in "STDLIB_VERSION".

Agda-Algebra/.github/workflows/main.yml

Line 12 in 5046054

STDLIB_VERSION: 1.7

Agda-Algebra/.github/workflows/main.yml

Line 88 in 5046054

wget https://github.com/agda/agda-stdlib/archive/v${{ env.STDLIB_VERSION }}.tar.gz

However, this project is dependent on the quasigroup and loop definitions from stdlib that is added to milestone v2.0.

I was trying to make it similar to agda where we clone the repository then checkout to a particular commit. But it's better to wait for stdlib official release to keep it compatible with versions of stdlib

[JacquesCarette]

Thank you, that does explain it.

[Akshobhya1234]

Agda-Algebra/.github/workflows/main.yml

Line 84 in 37f68d2

- name: Install stdlib

Change this code to include version of agda stdib. Instead of the commit.