Piotr Paradziński

In https://github.com/pigworker/SSGEP-DataData/blob/master/notes.pdf (same in: https://www.cs.ox.ac.uk/projects/utgp/school/conor.pdf) page 4 `Nat` should be `ℕ` Agda is not very happy about: ``` data ℕ : Set where zero : ℕ suc : ℕ →...

I have following use case: I saw an awesome library. I git clone it. Try to run `sbt test` and got this: ``` [error] java.lang.RuntimeException: unable to locate a valid...

There seems to be no version of this library for 2.13: https://mvnrepository.com/artifact/com.acjay/taggy BTW the library looks awesome :)

Add zio-shield

2

add plugin [zio-shield](https://github.com/zio/zio-shield) + fix issues found

Automate unit tests

1

Hello, In test directory there are golden tests, but there is no code that actually illustrate how to run them. Since this repo works as example how to build backend,...