lui
Topic | Replies | Views | Activity | |
---|---|---|---|---|
LUI, new computer, MRS window resize |
![]() ![]() |
2 | 38 | February 6, 2021 |
Bug in interactive unification |
![]() ![]() ![]() ![]() ![]() |
10 | 115 | November 9, 2020 |
Debugging list appends with LUI-interactive unification (again) |
![]() ![]() |
3 | 61 | September 24, 2020 |
Can't interactively unify in some cases |
![]() ![]() |
2 | 54 | September 11, 2020 |