easy revert buffer for live coding code gen
misc font, coq, agda