glaebhoerl/type-eq

Stars
5
Rank 2,861,937 (Top 57 %)
Language
Haskell
License
Other
Created over 12 years ago
Updated over 8 years ago

glaebhoerl/type-eq

glaebhoerl

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Type equality evidence you can carry around

simplecompiler

used to be something more ambitious, cut scope to just a simple compiler for thesis project

rust-notes

rust-frp

Unsophisticated push-based FRP library in Rust

ducks

These are my notes about the ideas I had for a statically structurally typed programming language, many years ago

odds-and-ends

this, that, and maybe the other

exists

Existential datatypes holding evidence of constraints