Pinned Loading

1. type-inference type-inference Public

   Implementation of Typed Lambda Calculus (Product, Sum, Arrow, Nat, Bool types) together with type inference

   Elm

2. combinatorics combinatorics Public

   Library for enumerating elementary combinatorial structures (subsets, multisubsets, permutations, tuples).

   JavaScript 1

3. stack-machine-with-continuations stack-machine-with-continuations Public

   Visualization of step-by-step computations in lambda calculus with continuations

   Elm