Skip to content

bump idris2 for fix to buildIdris helper#213

Merged
mattpolzin merged 1 commit intoidris-community:mainfrom mattpolzin:bump-idris2-flakerefJan 19, 2024

Commits