Marco Maggesi

Hello, thank you for this amazing material! I get the following error: ``` $ nix-shell these derivations will be built: /nix/store/gd7b23dir54khmvp6834ych3lgxcxybz-python3.7-fastprogress-0.1.20.drv [...] building '/nix/store/gd7b23dir54khmvp6834ych3lgxcxybz-python3.7-fastprogress-0.1.20.drv'... unpacking sources unpacking source archive /nix/store/9i31y8dm06rcn2m5s2lyxmswh3clwzyg-fastprogress-0.1.20.tar.gz...

Consider a file `file1.elpi` that defines a macro: ```prolog macro @a :- tt. pred test1 o:bool. test1 @a. ``` The scope of the macro do not extend beyond `file1.elpi` as...

https://github.com/FredaXin/eda_and_beyond/blob/d78d25c305f1a23f1568d420ba8bb6bee12e5c38/eda_and_beyond/eda_tools.py#L220 numerCIal -> numerICal

dmtcp in docker on apple silicon

5

I'm trying to compile dmptc in a linux container running on an apple silicon M1 processor. The compilation stops with an error (see below). The container runs on top of...