kcsongor/register-machine-type
Universal Register Machine implemented at the type-level of Haskell
3 best points · 0 comments · 2 Hacker News posts · 23 GitHub stars · View on GitHub
Hacker News discussions
- Register Machine implemented at the type-level of Haskell (3 points, 0 comments, by gergoerdi, 2016-04-05)
- Universal Register Machine Implemented at the Type-Level of Haskell (2 points, 0 comments, by adamnemecek, 2018-07-18)