Skip to content

Commit

Permalink
fix spelling
Browse files Browse the repository at this point in the history
  • Loading branch information
PeterSewell committed Dec 20, 2024
1 parent 26ad23c commit 64f1907
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions LICENSE
Original file line number Diff line number Diff line change
Expand Up @@ -5,13 +5,13 @@ says otherwise

Copyright (c) 2021
Thibaut Pérami, University of Cambridge
Zonguyan Liu, Aahrus Univeristy
Zonguyan Liu, Aarhus University
Nils Lauermann, University of Cambridge
Jean Pichon-Pharabod, University of Cambridge, Aahrus University
Jean Pichon-Pharabod, University of Cambridge, Aarhus University
Brian Campbell, University of Edinburgh
Alasdair Armstrong, Univeristy of Cambridge
Alasdair Armstrong, University of Cambridge
Ben Simner, University of Cambridge
Peter Sewell, Univeristy of Cambridge
Peter Sewell, University of Cambridge

All rights reserved.

Expand Down

0 comments on commit 64f1907

Please sign in to comment.