Skip to content

Add an option to allow running Agda setup in v2.8.0

14f0847
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Add an option to run Agda setup if compiled with Agda v2.8.0 or later #39

Add an option to allow running Agda setup in v2.8.0
14f0847
Select commit
Loading
Failed to load commit list.