GitHub repository: utahplt/ifT-benchmark
Primary language: Racket
Description: If T: Benchmark for Type Narrowing