[] Automatize Agda installation procedure
[] The options -fwarn-incomplete-patterns -fno-warn-overlapping-patterns should only be applied to MAlonzo files
[] Prevent MAlonzo code from being exported into the world

Provide feedback

Saved searches