https://github.com/thma/liquidmusings

toying around with liquid haskell
https://github.com/thma/liquidmusings

Last synced: 9 months ago
JSON representation

toying around with liquid haskell

• Host: GitHub
• URL: https://github.com/thma/liquidmusings
• Owner: thma
• License: bsd-3-clause
• Created: 2022-10-05T09:10:10.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2023-12-15T05:08:26.000Z (over 2 years ago)
• Last Synced: 2025-04-04T06:23:27.361Z (over 1 year ago)
• Language: Haskell
• Size: 7.81 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# CodingDojo

[![Run on Repl.it](https://repl.it/badge/github/thma/CodingDojo)](https://repl.it/github/thma/CodingDojo)