3 ms·Universal Register Machine Implemented at the Type-Level of Haskell2 points by adamnemecek 8y ago