Nikita Eshkeev neshkeev

Pinned Loading

1. Exercises from https://softwarefoundations.cis.upenn.edu/lf-current/index.html

   Coq 9 8

2. Haskell influenced Category Theory patterns implemented in Java

   Java 1 1

3. Solution to the exercises from

   Haskell 3