https://github.com/gelisam/agda-playground

a series of ambitious experiments in the functional language / proof assistant Agda.
https://github.com/gelisam/agda-playground

Last synced: 22 days ago
JSON representation

a series of ambitious experiments in the functional language / proof assistant Agda.

• Host: GitHub
• URL: https://github.com/gelisam/agda-playground
• Owner: gelisam
• Created: 2009-01-24T18:33:09.000Z (almost 16 years ago)
• Default Branch: master
• Last Pushed: 2024-01-19T05:25:56.000Z (10 months ago)
• Last Synced: 2024-01-19T13:05:06.034Z (10 months ago)
• Language: Vim Script
• Homepage: http://wiki.portal.chalmers.se/agda
• Size: 206 KB
• Stars: 3
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
agda-playground

===============

Darin and I's various experiments are stored in the various branches of this project.

None are updated or maintained anymore, but if you're curious, feel free to ask about the details of any experiment.