Dear lazy PLT web, where can I find a concise grammar for the calculus of inductive constructions with a list of inference rules?
Cur has something, and if you don't like it, you can substitute your own! https://docs.racket-lang.org/cur/index.html
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Cur has something, and if you don't like it, you can substitute your own! https://docs.racket-lang.org/cur/index.html