GitHub repository: GiggleLiu/nilangpaper
Primary language: TeX
Description: The paper for reversible differential programming