Pinned Loading

1. assembler-course assembler-course Public

   Lection notes: https://github.com/GoPavel/assembler-course/blob/master/lection.md

   Assembly 7 2

2. math-logic math-logic Public

   Repository contains homeworks of math logic course.

   Haskell

3. idris-proof idris-proof Public

   Some formal proofs on Idris

   Idris

4. my-spacemacs-config my-spacemacs-config Public

   For backup and notes

   Emacs Lisp