Skip to content

Adding support for Idris2 #99

Adding support for Idris2

Adding support for Idris2 #99