additional explainers

Submodules: git=>https link

Add ALS

Add Nix installation instructions

added accent

added course in Torino

Fixed paths to fonts.

Fixed Agda errors; fixed css errors which resulted in the incorrect font being used.

Fixed bug in agda.css; compile with SCSS compiler.

Merge pull request #569 from Altariarite/Fonts.lagda.md

changed codeblocks to displays in Fonts.lagda.md

changed codeblocks comments to displays

small fix to Connectives

Merge pull request #568 from Altariarite/substitution

fixed indentation for proper code displays in Substitution.lagda.md

fix indentation on 736 to fix partial codeblocks

fixed indentation for proper code display

Merge pull request #567 from Altariarite/Fonts.lagda.md

Add missing symbols in Fonts.lagda.md

added new symbols in part2 and 3

Updated README.

Bumped Agda version to 2.6.1.3.

Bumped resolver and GHC version, added Hakyll, removed text-icu.