Pinned Loading

1. au-dependent-types-fall-2016 au-dependent-types-fall-2016 Public

   My humble attempts to learn programming with dependent types

   Agda

2. au-formal-langs-spring-2016 au-formal-langs-spring-2016 Public

   Formal languages course @ SPbAU RAS, Spring 2016

   Haskell

3. au-tapl-spring-2016 au-tapl-spring-2016 Public

   This repository holds my home assignments for Types And Programming Languages course @ SPbAU RAS, Spring 2016

   Haskell

4. au-software-design-fall-2016 au-software-design-fall-2016 Public

   Java 1

5. vclang-lib vclang-lib Public

   Forked from JetBrains/arend-lib