Conversation

This Tweet was deleted by the Tweet author. Learn more

Brendan Zabarauskas

@brendanzab

Replying to

@typer_uma

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

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

3

Likes

This Tweet was deleted by the Tweet author. Learn more

Brendan Zabarauskas

@brendanzab

·

Dec 7, 2021

this thingy

github.com

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

5