- Jun 09, 2020
-
-
Andreas Schärtl authored
-
- May 28, 2020
-
-
Andreas Schärtl authored
-
- May 21, 2020
-
-
Andreas Schärtl authored
Should be enough to (1) talk to the Java API and (2) provide a JSON API for the world. This is really just experimental. MMT should be integrated directly w/o JSON if possible to avoid nonsensical serialization.
-
- May 12, 2020
-
-
Andreas Schärtl authored
- code goes into /src - prose in /doc - /experimental is a playground
-
- May 04, 2020
-
-
Andreas Schärtl authored
- I'm going to use graphcli to explore the GraphDB Java interface as the tutorials use Java. - I'll look into Scala later (ideally tomorrow).
-