martinleinberger

Keybase proof

I hereby claim:

• I am martinleinberger on github.
• I am martinleinberger (https://keybase.io/martinleinberger) on keybase.
• I have a public key whose fingerprint is 17D5 BEC5 C968 A9C1 92F5 BCD3 1C68 5D31 788F 85EA

To claim this, I am signing this object:

martinleinberger

<?xml version="1.0"?>
<package >
  <metadata>
    <id>LITEQ.RDF</id>
    <version>0.8.4</version>
    <title>LITEQ.RDF</title>
    <authors>Frederik Jochum, Martin Leinberger, Stefan Scheglmann</authors>
    <owners>Institute for Web Science and Technologies</owners>
    <licenseUrl>http://opensource.org/licenses/Apache-2.0</licenseUrl>
    <projectUrl>https://github.com/Institute-Web-Science-and-Technologies/Liteq/wiki</projectUrl>

martinleinberger

namespace MyOwn

open System.Reflection
open Microsoft.FSharp.Core.CompilerServices
open System.IO
open System.Collections.Generic
open Microsoft.FSharp.Quotations
open ProviderImplementation.ProvidedTypes

#nowarn "57"

martinleinberger

type URI = string
type URIs = URI list
type Store = (URI * URI * URI)  list

type Expr = 
    URIs of URIs
    | Down of Expr // All resources of those types
    | Up of Expr // All types of those resources
    | Fwd of Expr * URIs 
    | Bwd of Expr * URIs

martinleinberger

{
  "contributions": {
      "atlPluginUsage": "https://github.com/101companies/101repo/tree/master/contributions/atlPluginUsage",
      "atlTotalPlugin": "https://github.com/101companies/101repo/tree/master/contributions/atlTotalPlugin",
      "cppMpl": "https://github.com/101companies/101repo/tree/master/contributions/cppMpl",
	  ...
  },
  "services": {
      "analyzeSubmission": "https://github.com/101companies/101worker/tree/master/services/analyzeSubmission",
      "cloneDiffer": "https://github.com/101companies/101worker/tree/master/services/cloneDiffer",