https://github.com/jacquescarette/wirebundles

An exploration, in Agda, of bundles of wires and multiplicity
https://github.com/jacquescarette/wirebundles

Last synced: 3 months ago
JSON representation

An exploration, in Agda, of bundles of wires and multiplicity

• Host: GitHub
• URL: https://github.com/jacquescarette/wirebundles
• Owner: JacquesCarette
• License: bsd-3-clause
• Created: 2021-05-12T14:57:37.000Z (about 5 years ago)
• Default Branch: main
• Last Pushed: 2021-05-27T14:26:31.000Z (about 5 years ago)
• Last Synced: 2025-04-24T00:07:03.861Z (about 1 year ago)
• Language: Agda
• Size: 4.88 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# WireBundles

An exploration, in Agda, of bundles of wires and multiplicity