• Packages
  • Themes
  • Documentation
  • Blog
  • Discussions
Sign in

language-oak

A language package for the Oak proof checker
timlabs
0.3.9 44
0
  • Repo
  • Bugs
  • Versions
  • License
Flag as spam or malicious

Atom language package for Oak

An Atom language package for the Oak proof checker.

Provides syntax highlighting, automatic indentation, and comment toggling.

I think this package is bad news.

Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.

  • Terms of Use
  • Privacy
  • Code of Conduct
  • Releases
  • FAQ
  • Contact
with by