Pinned Loading

1. lambda-calculus-interpreter lambda-calculus-interpreter Public

   A simple lambda calculus interpreter in python

   Python 1

2. learn-myself-pure-math learn-myself-pure-math Public

   A list of books and lectures for myself to study pure math.

   1

3. playing-with-haskell playing-with-haskell Public

   Code for lecture Advanced Functional Programming in Haskell by Graham Hutton

   Haskell

4. playing-with-agda playing-with-agda Public

   Just playing with Agda.