search

DeepSpec / InteractionTrees

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

Warn potential users that the library is pre-alpha #30

Closed gmalecha closed 6 years ago

gmalecha commented 6 years ago

I think that we should do this before releasing on opam (PR #29).