GitHub - ggzor/type-level-magic: Some type-level magic in some languages. · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
Calc.ts		Calc.ts
DeBruijn.hs		DeBruijn.hs
DeBruijn.rs		DeBruijn.rs
DeBruijn.ts		DeBruijn.ts

About

Some type-level magic in some languages.

rust haskell typescript typelevel lambda-calculus typelevel-programming de-bruijn

0 stars

1 watching

Report repository

Contributors

Languages