Giters

hhefesto / syntaxSemanticsAdjoint

Trying to explore what the adjoint between Syntax and Semantics

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Trying to explore what the adjoint between Syntax and Semantics

Languages

Language:Nix 78.6%Language:Agda 21.4%