https://github.com/mitchellwrosen/tapl

Random junk from https://www.cis.upenn.edu/~bcpierce/tapl/
https://github.com/mitchellwrosen/tapl

Last synced: about 1 month ago
JSON representation

Random junk from https://www.cis.upenn.edu/~bcpierce/tapl/

• Host: GitHub
• URL: https://github.com/mitchellwrosen/tapl
• Owner: mitchellwrosen
• Created: 2016-06-11T19:34:44.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2018-06-16T17:58:33.000Z (over 6 years ago)
• Last Synced: 2024-10-22T06:55:02.195Z (3 months ago)
• Language: Haskell
• Homepage:
• Size: 61.5 KB
• Stars: 3
• Watchers: 4
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project