Skip to content

Commit 3e5fbb4

Browse files
authored
Merge pull request #15 from CLC-UIowa/add-member-tristan
add tristan homepage
2 parents 08e89f1 + d27db26 commit 3e5fbb4

File tree

1 file changed

+14
-0
lines changed

1 file changed

+14
-0
lines changed

_members/tristan.md

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
---
2+
name: Tristan MacKinlay
3+
pronouns: he/him
4+
role: Graduate Student
5+
subrole: Ph.D. Student
6+
advisor: J. Garrett Morris
7+
interests: Type Systems, Formal Logic, Philosophy of Mathematics
8+
9+
website: https://tristanmackinlay.com
10+
photo:
11+
layout: member
12+
subpath: '/assets/img/'
13+
---
14+
<!-- Write anything else here and it will be printed. -->

0 commit comments

Comments
 (0)