An experiment in publishing a Haskell library as a Python Wheel.

Project description

GitHub tag (latest by date)

Agda-Python

Python bindings for the Agda programming language and proof assistant.

Project details

Release history Release notifications | RSS feed

2.6.4.3

May 10, 2024

2.6.4.1

May 9, 2024

2.6.4

Mar 1, 2024

2.6.3.post1

Aug 4, 2023

This version

2.6.3

Aug 3, 2023

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distributions

agda-2.6.3-cp311-cp311-win_amd64.whl (20.9 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.11 Windows x86-64

agda-2.6.3-cp311-cp311-musllinux_1_1_x86_64.whl (48.2 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.11 musllinux: musl 1.1+ x86-64

agda-2.6.3-cp311-cp311-manylinux_2_28_x86_64.whl (45.4 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.11 manylinux: glibc 2.28+ x86-64

agda-2.6.3-cp311-cp311-manylinux_2_28_aarch64.whl (50.2 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.11 manylinux: glibc 2.28+ ARM64

agda-2.6.3-cp311-cp311-macosx_13_0_arm64.whl (40.8 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.11 macOS 13.0+ ARM64

agda-2.6.3-cp311-cp311-macosx_10_10_x86_64.whl (41.8 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.11 macOS 10.10+ x86-64

agda-2.6.3-cp310-cp310-win_amd64.whl (20.9 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.10 Windows x86-64

agda-2.6.3-cp310-cp310-musllinux_1_1_x86_64.whl (48.2 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.10 musllinux: musl 1.1+ x86-64

agda-2.6.3-cp310-cp310-manylinux_2_28_x86_64.whl (45.4 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.10 manylinux: glibc 2.28+ x86-64

agda-2.6.3-cp310-cp310-manylinux_2_28_aarch64.whl (50.2 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.10 manylinux: glibc 2.28+ ARM64

agda-2.6.3-cp310-cp310-macosx_13_0_arm64.whl (40.8 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.10 macOS 13.0+ ARM64

agda-2.6.3-cp310-cp310-macosx_10_10_x86_64.whl (41.8 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.10 macOS 10.10+ x86-64

agda-2.6.3-cp39-cp39-win_amd64.whl (20.9 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.9 Windows x86-64

agda-2.6.3-cp39-cp39-musllinux_1_1_x86_64.whl (48.2 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.9 musllinux: musl 1.1+ x86-64

agda-2.6.3-cp39-cp39-manylinux_2_28_x86_64.whl (45.4 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.9 manylinux: glibc 2.28+ x86-64

agda-2.6.3-cp39-cp39-manylinux_2_28_aarch64.whl (50.2 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.9 manylinux: glibc 2.28+ ARM64

agda-2.6.3-cp39-cp39-macosx_13_0_arm64.whl (40.8 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.9 macOS 13.0+ ARM64

agda-2.6.3-cp39-cp39-macosx_10_10_x86_64.whl (41.8 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.9 macOS 10.10+ x86-64

agda-2.6.3-cp38-cp38-win_amd64.whl (20.9 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.8 Windows x86-64

agda-2.6.3-cp38-cp38-musllinux_1_1_x86_64.whl (48.2 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.8 musllinux: musl 1.1+ x86-64

agda-2.6.3-cp38-cp38-manylinux_2_28_x86_64.whl (45.4 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.8 manylinux: glibc 2.28+ x86-64

agda-2.6.3-cp38-cp38-manylinux_2_28_aarch64.whl (50.2 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.8 manylinux: glibc 2.28+ ARM64

agda-2.6.3-cp38-cp38-macosx_13_0_arm64.whl (40.8 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.8 macOS 13.0+ ARM64

agda-2.6.3-cp38-cp38-macosx_10_10_x86_64.whl (41.8 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.8 macOS 10.10+ x86-64

agda-2.6.3-cp37-cp37m-win_amd64.whl (20.9 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.7m Windows x86-64

agda-2.6.3-cp37-cp37m-musllinux_1_1_x86_64.whl (48.2 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.7m musllinux: musl 1.1+ x86-64

agda-2.6.3-cp37-cp37m-manylinux_2_28_x86_64.whl (45.4 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.7m manylinux: glibc 2.28+ x86-64

agda-2.6.3-cp37-cp37m-macosx_13_0_arm64.whl (40.8 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.7m macOS 13.0+ ARM64

agda-2.6.3-cp37-cp37m-macosx_10_10_x86_64.whl (41.8 MB view hashes)

Uploaded Aug 3, 2023 CPython 3.7m macOS 10.10+ x86-64

Hashes for agda-2.6.3-cp311-cp311-win_amd64.whl

Hashes for agda-2.6.3-cp311-cp311-win_amd64.whl
Algorithm	Hash digest
SHA256	`342789ffb832142f739193d40e0d667aee4c3da56afbddd5a439f0d20a1c7259`
MD5	`493372ae5a95d9641ed563d7afda15ac`
BLAKE2b-256	`9567d3de0cf2f19b3fdb2d41680d5524e84c5fe239cc4ceefd1d3a09c1433b36`

Hashes for agda-2.6.3-cp311-cp311-musllinux_1_1_x86_64.whl

Hashes for agda-2.6.3-cp311-cp311-musllinux_1_1_x86_64.whl
Algorithm	Hash digest
SHA256	`fa222093093558f10fa4e67dd640bf598214d35e7df96dc4e779c76f5b9c9084`
MD5	`531f49f140600b7cdb311a0812067261`
BLAKE2b-256	`27d19dc1a21c25a3f1ee9e35dd3545a5d2951b7258ca8135e69b373bc52dc86f`

Hashes for agda-2.6.3-cp311-cp311-manylinux_2_28_x86_64.whl

Hashes for agda-2.6.3-cp311-cp311-manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`e463373c2cd3847e012e8b76426424bce6acf903212781f0e844e883b726c49e`
MD5	`07e87989766a4c712d1252ffddb4fabf`
BLAKE2b-256	`12a267c43971eb4991c4641e3845de62dca0581e34fc1989be012d213f35aab3`

Hashes for agda-2.6.3-cp311-cp311-manylinux_2_28_aarch64.whl

Hashes for agda-2.6.3-cp311-cp311-manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`203decfa678bb11fa82a8eee58afe7904109d9f213c74c4c2f1a45c872f335d1`
MD5	`cd4166d5442ed35c8c452788d5b7ba7c`
BLAKE2b-256	`86ea26ff1115ab984b6008f51ca2e18c387af7375cfb20fedc587849c8fd5c9c`

Hashes for agda-2.6.3-cp311-cp311-macosx_13_0_arm64.whl

Hashes for agda-2.6.3-cp311-cp311-macosx_13_0_arm64.whl
Algorithm	Hash digest
SHA256	`9ff8e5442954e19af41db6a8c3e8aacf6cc84ad0b97e85f533cda4147fdda5f3`
MD5	`c57e6210241a81b7731e9f5549f9dd44`
BLAKE2b-256	`69e9fffe4a895c6d2630e597f6b9dbfd0df51949f2c5028b9b0dbb7edf4f1dbe`

Hashes for agda-2.6.3-cp311-cp311-macosx_10_10_x86_64.whl

Hashes for agda-2.6.3-cp311-cp311-macosx_10_10_x86_64.whl
Algorithm	Hash digest
SHA256	`91d9679d1c60e883c7683396229676e8757659a8710fc4a0c007d3f3d5b8e7ac`
MD5	`067f602ec6f2b3629790dab46ca5e3b3`
BLAKE2b-256	`d2c6010288a3454ff494b250c22a63139123b2b0aa2053c49d6da622d0428c26`

Hashes for agda-2.6.3-cp310-cp310-win_amd64.whl

Hashes for agda-2.6.3-cp310-cp310-win_amd64.whl
Algorithm	Hash digest
SHA256	`2fbfaa3e2e4f06c3e961c8fb0bb3015f66e5a832847c98b88a05da797908a119`
MD5	`ec17421917f9f88eb004221d8381e041`
BLAKE2b-256	`5a84542d4ceb0178e71966ad1f7a54fee6bf814983f92f59897bbde72d247224`

Hashes for agda-2.6.3-cp310-cp310-musllinux_1_1_x86_64.whl

Hashes for agda-2.6.3-cp310-cp310-musllinux_1_1_x86_64.whl
Algorithm	Hash digest
SHA256	`d26b7ca5557229a8662d79ff0d30ed1f53f6f9d058fbf0186a41e70c00916fba`
MD5	`94793d6c07ca742f94afa1b1ab23e058`
BLAKE2b-256	`178cc701fecb489af4c496e04e9b58746b1492a95771bf115ebfcc652fc0ad89`

Hashes for agda-2.6.3-cp310-cp310-manylinux_2_28_x86_64.whl

Hashes for agda-2.6.3-cp310-cp310-manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`7a84f7ca63cb8b5114a703c96cdebbf95f9a0a5cfcc0e7bb75cc6f726e3ae1db`
MD5	`4f4c06f6bb2a9c9ca75cd30903ac6168`
BLAKE2b-256	`d07303b91a102b896bd0b3304295e6c1d41f7e0964f25b67734700b4151d1552`

Hashes for agda-2.6.3-cp310-cp310-manylinux_2_28_aarch64.whl

Hashes for agda-2.6.3-cp310-cp310-manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`81b6254f91a61c7836909f473019ee9f018cff0cd296d545dd5e98c62de07f8d`
MD5	`dff45e183014ef4c833d3fb778cfd45a`
BLAKE2b-256	`3ef205ce90089bea860bba3d89a882cea55dc281eef635786ca7a39583a82973`

Hashes for agda-2.6.3-cp310-cp310-macosx_13_0_arm64.whl

Hashes for agda-2.6.3-cp310-cp310-macosx_13_0_arm64.whl
Algorithm	Hash digest
SHA256	`ff12c45ed429a6c6c08548f7d650c9915159684c3d021c73695b4f795a797ec4`
MD5	`d856ee09719a49bad0987edeb7822a58`
BLAKE2b-256	`6652a5ecfbbf2d09c73a1e4568f88d4329537d49e3750d45cd72b0b818940f20`

Hashes for agda-2.6.3-cp310-cp310-macosx_10_10_x86_64.whl

Hashes for agda-2.6.3-cp310-cp310-macosx_10_10_x86_64.whl
Algorithm	Hash digest
SHA256	`b1f4ecc1f4aea152cebe0a63364be53763e79638fcf9f8521c7cf109021f7d7f`
MD5	`bda55abb7a77a2dde65e0a553a06d11f`
BLAKE2b-256	`48bc83cd72ae85802f6234e4d3727cbc0e37b4d915c7e34104bdc60b56f62653`

Hashes for agda-2.6.3-cp39-cp39-win_amd64.whl

Hashes for agda-2.6.3-cp39-cp39-win_amd64.whl
Algorithm	Hash digest
SHA256	`a6c78146280ca2c9780034ba389e75f86a6fedc2e84494a61714c11004799f8d`
MD5	`3dda5eec8d686c4bb102308bb7d71be2`
BLAKE2b-256	`b47bb3212cf5a7054fb1e20d6a99e0ffd652ee873a910a418442690d6f608560`

Hashes for agda-2.6.3-cp39-cp39-musllinux_1_1_x86_64.whl

Hashes for agda-2.6.3-cp39-cp39-musllinux_1_1_x86_64.whl
Algorithm	Hash digest
SHA256	`220200913d06d4afcc1acc4eea22bf51106c0c46c12db991db632b50513eba99`
MD5	`d8ad66f694218842cfbbbb5ab4b87ffd`
BLAKE2b-256	`d92d3368d99d24fcd6bc2fe786530faa312c5a4b93f1e5ba77d1b547c7ce7e2f`

Hashes for agda-2.6.3-cp39-cp39-manylinux_2_28_x86_64.whl

Hashes for agda-2.6.3-cp39-cp39-manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`d243d93850e1f03ed9720e6a42c6e83ce080543aa6de8d85580d470f2764f17c`
MD5	`86389487dde46fcaf12ff4ea474ad7bc`
BLAKE2b-256	`52500816a5ad3042ff25ca1b810e1a99aba4121d8a927304d9df926ed704b827`

Hashes for agda-2.6.3-cp39-cp39-manylinux_2_28_aarch64.whl

Hashes for agda-2.6.3-cp39-cp39-manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`0f3bdf1ecf1c14285e420f5195d7e01049fcb371a67138befa3699cbd39b7fad`
MD5	`57185b8cbf7b64ad908edf8826e6822b`
BLAKE2b-256	`f7ed47e4b84c1ca8d64401c949ce6dc4b45a9affab97752ea4186a273d82cf3f`

Hashes for agda-2.6.3-cp39-cp39-macosx_13_0_arm64.whl

Hashes for agda-2.6.3-cp39-cp39-macosx_13_0_arm64.whl
Algorithm	Hash digest
SHA256	`8899a552f03d62d16fea01ac079f6de87aa47a7dc4c97028c01e665c0d40fbfd`
MD5	`9ff584cfeff6b67074d71fd9572caab2`
BLAKE2b-256	`ec80c0003bcaf9ff236174b0e448dd09454425e0bc3bfa73acec1c2c314899d3`

Hashes for agda-2.6.3-cp39-cp39-macosx_10_10_x86_64.whl

Hashes for agda-2.6.3-cp39-cp39-macosx_10_10_x86_64.whl
Algorithm	Hash digest
SHA256	`dd2a94fb08c8750923b5bcb182b18725f8ae826db92cc54a9d4c3e6172faccb9`
MD5	`2341c59a949b097b4d758676708a211a`
BLAKE2b-256	`2f21b32465fa6b492ccafbbf540f3a7cfa24f319a93efa5fabd06b5dfa82a600`

Hashes for agda-2.6.3-cp38-cp38-win_amd64.whl

Hashes for agda-2.6.3-cp38-cp38-win_amd64.whl
Algorithm	Hash digest
SHA256	`daa9c60ab38e50f8ed3c3ba18cbe0901f74bd1d6505ec120fe74dcefa50d8fff`
MD5	`2ef7b74d70f8fe8822318e8eb6009bbf`
BLAKE2b-256	`c06fa66e3078410da6c11dfdcb6852380a28204c9864c05b29731223cf2943ba`

Hashes for agda-2.6.3-cp38-cp38-musllinux_1_1_x86_64.whl

Hashes for agda-2.6.3-cp38-cp38-musllinux_1_1_x86_64.whl
Algorithm	Hash digest
SHA256	`576ad33d98d986d02e8b0d727e1ee6ddd9bcb5de061dbf7890dafa62854fa1af`
MD5	`f92b54f1525e40cef3b2b2598cc71419`
BLAKE2b-256	`293b6ef58dca0988a3a8a81371a11acc73c2989841665cff9e3d0922f409c744`

Hashes for agda-2.6.3-cp38-cp38-manylinux_2_28_x86_64.whl

Hashes for agda-2.6.3-cp38-cp38-manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`90083aeeff811feb39e8484f2ba7a5d1c06d89c0341c7b11e04a2d9ad6996159`
MD5	`76e03f7b9e7a91f02ed1a0b0cbb536c5`
BLAKE2b-256	`e0f741c5ab8e9663a7c10c448ea3d3aa1f627e2401219212d6bcda2a74a9eea2`

Hashes for agda-2.6.3-cp38-cp38-manylinux_2_28_aarch64.whl

Hashes for agda-2.6.3-cp38-cp38-manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`7d5bc6f67044d1fd472d9c5a84a89b4db02603445e3971a2ddb790e32a774f99`
MD5	`f0213c12558998e72a2b9ee47f3ae9b2`
BLAKE2b-256	`3ce539f978aed75de18c1d4ebb166f8245f18b21e21c91337753b999df768d03`

Hashes for agda-2.6.3-cp38-cp38-macosx_13_0_arm64.whl

Hashes for agda-2.6.3-cp38-cp38-macosx_13_0_arm64.whl
Algorithm	Hash digest
SHA256	`316a7c8e82434261bd39cf81367d6c17379e23e6e5dbec1596e4f9aba790ea52`
MD5	`4228df08b195b185ca234752b1945879`
BLAKE2b-256	`e7c16f647cce314a193b3b902233f1d18e52b58e20669bbd941e88b8032ca170`

Hashes for agda-2.6.3-cp38-cp38-macosx_10_10_x86_64.whl

Hashes for agda-2.6.3-cp38-cp38-macosx_10_10_x86_64.whl
Algorithm	Hash digest
SHA256	`095af4b8d06943741e8d79bd728db20d904fb7d12f2b9bc40481425e22e0063b`
MD5	`a6a0285f5fe9c07f9157b3300dd29d82`
BLAKE2b-256	`1a656114fa30913c79465c27cb174fafe9ac815545ed5e4d7c101d7043308137`

Hashes for agda-2.6.3-cp37-cp37m-win_amd64.whl

Hashes for agda-2.6.3-cp37-cp37m-win_amd64.whl
Algorithm	Hash digest
SHA256	`432deb5e5888d4f5a181a9249d54b29a56037c9b2e0b28f0a516851f14f8a941`
MD5	`91315f7d86f9d94216c3ab1679d4a539`
BLAKE2b-256	`5b74a264a559ce2df3e52966a1fb1cc01b610b94b7d6c8546beb506fad896da8`

Hashes for agda-2.6.3-cp37-cp37m-musllinux_1_1_x86_64.whl

Hashes for agda-2.6.3-cp37-cp37m-musllinux_1_1_x86_64.whl
Algorithm	Hash digest
SHA256	`d56f4ed17cc4ef878edb9484e32e241f4480b931dd31bc08800cbe0540b8bdea`
MD5	`545b77935436e8a4c131e9f88c373bc6`
BLAKE2b-256	`1d122a61bd11a79916e6ef88b9e97136fbd529ee7f402d163b04bdda1447f371`

Hashes for agda-2.6.3-cp37-cp37m-manylinux_2_28_x86_64.whl

Hashes for agda-2.6.3-cp37-cp37m-manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`4a35521f81ff6ffd63863ce204c0e530bae6ec836b143512160e72dca08bc5ab`
MD5	`dfa067911dec6b51f393d17d0843810e`
BLAKE2b-256	`59ff7154c22696d9b2f88882fc04c0f640a02eed0baba0c553225f545af80f30`

Hashes for agda-2.6.3-cp37-cp37m-macosx_13_0_arm64.whl

Hashes for agda-2.6.3-cp37-cp37m-macosx_13_0_arm64.whl
Algorithm	Hash digest
SHA256	`ce141bfdb55d43f96660aac3aafe5563a7a1406d9af8cb8062570506e2722646`
MD5	`cb3feac767745b5a522c4e3f969e29c4`
BLAKE2b-256	`e05851071f269ab2410a631d6edd97d744a625f2fa06fca21866426e0b1d694c`

Hashes for agda-2.6.3-cp37-cp37m-macosx_10_10_x86_64.whl

Hashes for agda-2.6.3-cp37-cp37m-macosx_10_10_x86_64.whl
Algorithm	Hash digest
SHA256	`704fb27eee047b382a30a840a87aa7f8b9dfb4323bd843709225d05b1d1aaa8f`
MD5	`139e6a0ab3aef47d37848d1755790f13`
BLAKE2b-256	`9807c515830d85f1615cfc2aa9c5d188b0d6d6ecc868eff0a1d299e25ab804e9`