GitHub repository: DepTyCheck/idris2-specialise-data
Primary language: Idris
Description: Macro functions for automatic data specialisation