search

AlacrisIO / meta

Internal management of Legicash/Legilogic/Alacris
0 stars 0 forks source link

Add information about claims and show when verifying #139

Open jeapostrophe opened 5 years ago

jeapostrophe commented 5 years ago

Minimum: Associate with line number Better: Use a provided string Best: Use a provided computation to label them (since assertions reference dynamic information.)