Christopher Goes

HackMD

Christopher Goes

@cwgoes

Joined on Oct 22, 2019

Published notes1
Likes

AND

Meeting(1)

New to old

Notes sorted by

New to old

Old to new

A to Z

Z to A

Formality x Juvix Working Group
Formality x Juvix Working Group === ###### tags: `Meeting` :::info - **Location:** Zoom - **Date:** 22 October 2019 18:00 PM CEST ::: ## Agenda - Sync on who is doing what (backends-wise, in general) - Common interaction net representation format ## Notes ## Tasks - [ ] (to be written)
Edit mode Like Bookmark

Create a note from template

Oops...

This template has been removed or transferred.

Upgrade

All

All
Team

No template.

Create a template

Upgrade

Template name

Save as option

Save this note as a template Save to another note as a template

Delete template

Do you really want to delete this template?

Keep the content

Turn this template into a regular note and keep its content, versions, and comments.

Link with GitHub

Please authorize HackMD on GitHub

Please sign in to GitHub and install the HackMD app on your GitHub repo.
HackMD links with GitHub through a GitHub App. You can choose which repo to install our App.

Learn more Sign in to GitHub

Create team

Team Name

Team Description

Team URL Path

https://hackmd.io/team/

Allow a-Z, 0-9 and dash not at beginning.

Are you sure?

Do you really want to remove this member?

Leave team

Are you sure to leave this team?

Delete team

Once you delete your team, all team notes will be deleted and cannot be recovered. Please ensure you've exported or transfered these notes.

Enter team name before deleting it:

Change your password

Use a minimum password length of 8-128 characters, including lowercase and uppercase characters and numbers.

Setup your password

Use a minimum password length of 8-128 characters, including lowercase and uppercase characters and numbers.

Sign in

Password

Forgot password

By clicking below, you agree to our terms of service.

Wallet ( )

Connect another wallet

New to HackMD? Sign up