Skip to content
Permalink
Browse files

2

  • Loading branch information...
kevinhammond committed Nov 8, 2019
1 parent 5cbf99e commit 241f5c7efbc8f51bae7c75500056fa877984a518
0 ci/check-hydra.sh 100755 → 100644
No changes.
0 ci/check-stack2nix.sh 100755 → 100644
No changes.
0 nix/regenerate.sh 100755 → 100644
No changes.
0 nix/update-iohk-nix.sh 100755 → 100644
No changes.
@@ -27,6 +27,7 @@
\newcommand{\signed}[2]{\ensuremath{\llbracket #1 \rrbracket_{#2}}}
\newcommand{\size}[1]{\ensuremath{\left| #1 \right|}}
\newcommand{\trans}[2]{\ensuremath{\xlongrightarrow[\textsc{#1}]{#2}}}
\newcommand{\transstar}[2]{\ensuremath{\xLongrightarrow[\textsc{#1}]{#2}}}
\newcommand{\seqof}[1]{\ensuremath{#1^{*}}}
\newcommand{\nextdef}{\ensuremath{\\[1em]}}
\newcommand{\where}{\ensuremath{~ ~ \mathbf{where}~ ~ }}
@@ -12,11 +12,11 @@
\\[1em]
Matthias G\"udemann \quad \texttt{<matthias.gudemann@iohk.io>}
}
\DueDate{15$^{\textrm{th}}$ October 2019}
\SubmissionDate{8th October 2019}{2019/10/08}
\DueDate{15$^{\textrm{th}}$ November 2019}
\SubmissionDate{9th November 2019}{2019/11/09}
\LeaderName{Philipp Kant, \IOHK}
\InstitutionAddress{\IOHK}
\Version{0.2}
\Version{0.3}
\Project{Shelley Ledger}
\DisseminationDR

0 comments on commit 241f5c7

Please sign in to comment.
You can’t perform that action at this time.