GitHub repository: lclem/agda-kernel
Primary language: Jupyter Notebook
Created: 2019-04-07T19:53:21Z
Description: An experimental Agda kernel for Jupyter