| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
|
| |
for now this just checks a file given on the command line, and panics if
anything at all goes wrong.
|
| | |
|
| |
|
|
|
| |
There's now a packageset in default.nix, and individual files for the
rust and shell script stuff.
|
| | |
|
| | |
|
| |
|
|
| |
(will now print errors if bat/the highlighter theme is missing)
|
| |
|
|
|
| |
This just calls the isabelle2nix util and pipes its output directly into
bat, resulting in a somewhat usable cli tool for .thy files.
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
This is mostly based on the syntax generated by `isabelle
vscode_grammar` for the list of keywords; choice of scopes is heavily
biased by my understanding of the subset of isabelle syntax I actually
know about.
For now, it makes no attempt to actually understand anything of what is
going on in a file (except for strings/comments) and simply matches
keywords.
Note that scope selection does not make sense, and is mostly based on
looking into which scopes are assigned useful colours by common
highlighter themes (mostly bat's default theme and TwoDark for now)
|
| |
|
|
|
| |
There's no real reason for this other than that I wanted to know if
abstracting over &[T] -> T and &str -> String etc. was possible.
|
| |
|
|
|
|
|
|
|
|
| |
the parser using grmtools was way oversized for just doing escape
sequences, and only really existed since I wanted to play around with
it.
The new implementation depends on no external crates, uses just an iter
wrapped into a nicely composable function, and appears to be exactly
equivalent (but faster).
|
| |
|
|
| |
(using naersk)
|
| |
|
