valmirjunior0088

Valmir Pretto's repositories

Work-in-progress functional dependently typed programming language

Language:HaskellBSD-3-Clause29 20

A Rust macro that declares an `enum` (and a bunch of `impl From`s) based on a set of types

Language:RustMIT2 10

Performance tests involving different implementations of the ring queue data structure

Language:TypeScript000

Experiments on type inference through unification based on the simply typed lambda calculus

Language:HaskellBSD-3-Clause000

Experiments on normalization by evaluation based on the untyped lambda calculus

Language:Scala010