Public export TTImp reflection functions#2947

Merged

gallais merged 3 commits intoidris-lang:mainfrom madman-bob:public-ttimp

May 5, 2023

+63-38

Commits on Apr 14, 2023

Public export TTImp reflection functions
madman-bob
committed

Commits on May 2, 2023

[ admin ] Add test and update changelog for idris-lang#2947
CodingCellist
committed

Commits on May 5, 2023

Merge branch 'main' into public-ttimp
ohad
authored