Not logged in. · Lost password · Register

jfschaefer
Member for 2 months
29 posts
Subject: 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…).

Best,
Frederik


If don't use Jupyter:

You can download GF from https://www.grammaticalframework.org/download/index.html.
Then, create one .gf-File for each syntax and match the syntax name and the filename (e.g. Fragment0.gf).
You can start the REPL with the command gf. Then you can import the grammar using
import Fragment0.gf
etc.
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen