Mark Thom a68394b6f2 simplify detecting undefined goal_ and term_expansion

2022-06-12 22:34:07 -06:00

..

instructions_template.rs

simplify detecting undefined goal_ and term_expansion

2022-06-12 22:34:07 -06:00

main.rs

adjust error message on failed formatting

2022-06-03 23:50:17 +02:00

static_string_indexing.rs

wip: add more atoms to completion list

2022-05-11 21:37:03 +01:00