edwardgeorge/keymonad
Implementation of "The Key Monad: Type-Safe Unconstrained Dynamic Typing" paper
Stars: 3Language: Haskell
Give AlbumentationsX a star on GitHub — it powers this leaderboard
Star on GitHubImplementation of "The Key Monad: Type-Safe Unconstrained Dynamic Typing" paper