Conversation

This Tweet was deleted by the Tweet author. Learn more

Brendan Zabarauskas

Sadly I don't think there's an OTT backend for Agda… (kind of going the opposite direction though)

3

This Tweet was deleted by the Tweet author. Learn more

Brendan Zabarauskas

Replying to

this thingy

GitHub - ott-lang/ott: The Ott tool for writing definitions of programming languages and calculi

The Ott tool for writing definitions of programming languages and calculi - GitHub - ott-lang/ott: The Ott tool for writing definitions of programming languages and calculi

1:41 PM · Dec 7, 2021Twitter Web App

This Tweet was deleted by the Tweet author. Learn more

Brendan Zabarauskas

not the biggest fan of using ascii syntax to define inference rules, but it's still pretty neat imo

1

1

Show replies