Auto reloading when file changes

advancedresearch / avalog

An experimental implementation of Avatar Logic with a Prolog-like syntax

Apache License 2.0

66 stars 3 forks source link

Open bvssvni opened 3 years ago

bvssvni commented 3 years ago

Currently, one has type type the following to check a change in the source:

> clear
> reload
> provenr no amb

It would be nice to have an auto-reloading feature such that when the source is changed, one can just type:

> provenr no amb