John Felix Agda
Results
1
issues of
John Felix Agda
Whenever I try to use the last few line heads (when creating models), they do not show up. They do not seem to work on Obsidian, but they do on...