Package Details: python-agda-kernel 0.64-3

Git Clone URL: https://aur.archlinux.org/python-agda-kernel.git (read-only, click to copy)
Package Base: python-agda-kernel
Description: A rudimentary Jupyter kernel for Agda
Upstream URL: https://github.com/lclem/agda-kernel
Licenses: CCPL:by
Submitter: dringsim
Maintainer: dringsim
Last Packager: dringsim
Votes: 0
Popularity: 0.000000
First Submitted: 2023-08-11 04:02 (UTC)
Last Updated: 2023-09-10 03:23 (UTC)