Closed dunhamsteve closed 1 year ago
Updates the idris2 branch to work with the latest Idris2 (#27)
idris2
Updates the
idris2
branch to work with the latest Idris2 (#27)