Nicolas Abril

Update link to latest jar in INSTALL.md

1

Closes #56 and maybe partially resolves #57

My computer has different Java installations, with no "main" one. For each app I decide which version I want to use. This causes TachiWeb to complain that no instalaltion is...

Suggestion: Option to mark NSFW reddit posts as spoiler

3

It would be beneficial to have an option to show NSFW reddit posts using the discord spoiler function (eg: ||hidden text||). I have a subreddit with both NSFW and SFW...

Some rules with variables are not being substituted

2

In some cases where there is more than one rule available for a substitution HVM does not reduce a term even though it should. ``` Main = @var (Sub var)...

Accept multiple files on check command

1

Useful to check all files in a folder after adding many things or changing something that could break many other functions.

Sort kind names after loading all files

1

This prevents the HVM rules from being generated in different order every time. Refresh the checker.hvm file to be in the new sorted order