Skip to content

Instantly share code, notes, and snippets.

View sancho20021's full-sized avatar

Sasha Pak sancho20021

39 followers · 42 following
  • Australian National University
  • Canberra, Australia
View GitHub Profile
@sancho20021
sancho20021 / gist:54af18e6d73ab9497bf008314c688109
Created July 4, 2024 10:32
Gradually-Typed Lambda Calculus in type-level Rust
mod gradual_types {
use std::marker::PhantomData;
use syntax::GroundType;
pub mod syntax {
use std::marker::PhantomData;
pub trait Variable {}