You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
My current research focus is Rewrite-TS, a hygienic term-rewrite (macro) system for typescript allowing for arbitrary pattern-matching and reconstruction of terms without introducing any new syntax to the language. Demo and code in links below.