edwardgeorge/keymonad
Implementation of "The Key Monad: Type-Safe Unconstrained Dynamic Typing" paper
HaskellBSD-3-Clause
No issues in this repository yet.
Implementation of "The Key Monad: Type-Safe Unconstrained Dynamic Typing" paper
HaskellBSD-3-Clause
No issues in this repository yet.