search

DeepSpec / InteractionTrees

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

Add RuttFacts.v to _CoqProject.itree. #246

Closed Chobbes closed 2 years ago

Chobbes commented 2 years ago

I think this needs to be added to the _CoqProject.itree file in order to be able to import RuttFacts.v.

Lysxia commented 2 years ago

Oops. Yeah, you need it if you're not using dune :)