We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3f2b6c4 commit 6d6f09eCopy full SHA for 6d6f09e
uplc2025/_data/program.yml
@@ -11,7 +11,7 @@ days:
11
- name: Fifty-three Years of Plutus
12
time_start: '9:30'
13
time_end: '10:30'
14
- - name: Plutarch Talk
+ - name: Efficient and fun UPLC with Plutarch
15
time_start: '10:50'
16
time_end: '11:30'
17
- name: Formal Methods at IOG
uplc2025/_talks/plutarch-talk.md
@@ -1,5 +1,5 @@
1
---
2
-name: Plutarch Talk
+name: Efficient and fun UPLC with Plutarch
3
speakers:
4
- Seungheon Oh
5
categories:
0 commit comments