Revert "Technical report"

[ngeiswei]

@Eman22S, I've merged your PR https://github.com/singnet/ai-dsl/pull/35 too fast, didn't realize it was incomplete. I'm reverting it now because it doesn't compile yet.

[ngeiswei]

To compile/test your report you must run ./render.sh under the doc/technical-reports/2021-05 folder.

[Eman22S]

Yes, its not complete yet. I am writing the remaining 2 sections locally and have not pushed it yet. Btw how do you write your idris code ? I tried copying your syntax \begin{minted}[mathescape]{idris} but not luck with me. I am writing on Overleaf btw.

[ngeiswei]

Btw how do you write your idris code?

You need to install the texlive-minted package, but I don't know how to do that in overleaf. You should be able to edit and compile it locally. What is your distro?

[Eman22S]

Manjaro. I am installing the package now

On Tue, Jun 8, 2021, 12:55 Nil Geisweiller @.***> wrote:

Btw how do you write your idris code?

You need to install the texlive-minted package, but I don't know how to do that in overleaf. You should be able to edit and compile it locally. What is your distro?

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/singnet/ai-dsl/pull/42#issuecomment-856632579, or unsubscribe https://github.com/notifications/unsubscribe-auth/AEOXKP4IZN6Z7OBSV7L2QSTTRXSJNANCNFSM46JHBKKQ .

[Eman22S]

I came across this error message when running ./render.sh command bibtex not found command pdflatex not found what packages I need to install to get them?

[ngeiswei]

Yeah, on Manjaro you should be able to find everything you need in the official repositories, called texlive-core or something.

[Eman22S]

I managed to install it thanks.

[Eman22S]

@ngeiswei Why do I get this error message ? when I run ./render.sh

! Undefined control sequence. \PYG #1#2->\FV@PYG