Dennis van der Bij
Results
1
issues of
Dennis van der Bij
Implementation of Fast-ANF, a mutable version of ANF in order to provide O(1) substitution. Basic implementation of HOP-holes. Does not encode types.