search

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq
MIT License
194 stars 49 forks source link

Fixing a couple of warnings #252

Closed YaZko closed 1 year ago

YaZko commented 1 year ago

Explicit declaration of scopes and removing ignored implicit argument.

YaZko commented 1 year ago

Is CI broken or am I missing something? This PR only fixes warning, and CI fails in relation to paco.

Lysxia commented 1 year ago

There's a breaking change in paco master. Let me see if I can fix this.

YaZko commented 1 year ago

Thanks @Lysxia !