[ fix ] Data and Type Constructor tags for :di #927
Annotations
2 errors
|
Build Idris 2 from bootstrap
The operation was canceled.
|
Loading