Implement literate code verbs in pomagma.corpus - Githubissues

fritzo / pomagma

An inference engine for extensional untyped λ-calculus

Other

17 stars 2 forks source link

Implement literate code verbs in pomagma.corpus #34

Open fritzo opened 9 years ago

fritzo commented 9 years ago

The following verbs will be needed:

reformat: like gofmt for go, clang-format for c++
extract: extracts code from corpus to send to the analyst
annotate: annotates markdown files with high-latency analyst results
suggest: gives real-time feedback from low-latency analyst results
precommit: runs reformat and annotate on corpus code before each git commit