https://github.com/olgam4/ligahasklig

Liga'd Hasklig for monoid enthusiasts
https://github.com/olgam4/ligahasklig

Last synced: about 2 months ago
JSON representation

Liga'd Hasklig for monoid enthusiasts

• Host: GitHub
• URL: https://github.com/olgam4/ligahasklig
• Owner: olgam4
• License: ofl-1.1
• Created: 2022-09-07T09:59:24.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-04-10T18:24:59.000Z (about 1 year ago)
• Last Synced: 2025-02-05T01:43:44.954Z (3 months ago)
• Homepage:
• Size: 10.7 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Liga Hasklig

![font preview](/font.png)

Patched [Hasklig](https://github.com/i-tu/Hasklig) using [Liga](https://github.com/EzequielRamis/liga) by [Ezequiel Ramis](https://github.com/EzequielRamis)