tests

Jul 10, 2024

845f78d · Jul 10, 2024

Name	Name	Last commit message	Last commit date
parent directory ..
examples	examples	Add Pandoc mode	Jul 10, 2024
scripts	scripts	Add test examples	Aug 7, 2021
Main.idr	Main.idr	Add Pandoc mode	Jul 10, 2024
Makefile	Makefile	Add test examples	Aug 7, 2021
tests.ipkg	tests.ipkg	Add test examples	Aug 7, 2021

Provide feedback