Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Assignment 1 now uploaded
Dear all,
I’ve uploaded the first assignment: https://kwarc.info/teaching/LBS/assignment.pdf.
There is no deadline yet (we will have to discuss that with Michael).
If you have any questions/difficulties, feel free to ask in the forum or during the lecture.
While the homework is created as a Jupyter notebook, you can just as well solve them with .gf-files and the normal GF repl (below are a few comments on that).
If you want to install Jupyter and the GF Kernel, you can follow the instructions here: https://github.com/kwarc/gf_kernel. However, it does not yet work for Windows (though it might work with the Linux subsystem, see discussion at https://fsi.cs.fau.de/forum/thread/17758-Today-s-Notebooks-Uploaded).
Best,
Frederik
If don’t use Jupyter:
You can download GF from https://www.grammaticalframework.org/download/index.html.
Then, create one [m].gf[/m]-File for each syntax and match the syntax name and the filename (e.g. [m]Fragment0.gf[/m]).
You can start the REPL with the command [m]gf[/m]. Then you can import the grammar using import Fragment0.gf etc.