Pinned Loading

1. CodeSample CodeSample Public

   Code sample taken from my work on planar graphs in 2018.

   C++

2. SimpleTypes SimpleTypes Public

   Implementation and verification of the Simply Typed Lambda Calculus using Idris

   Idris 3