https://github.com/andrew-johnson-4/l1pearls
Pearl programs from LSTS L1
https://github.com/andrew-johnson-4/l1pearls
functional-programming logic-programming lsts metaprogramming programming-language-concepts programming-language-theory programming-languages type-theory
Last synced: 3 months ago
JSON representation
Pearl programs from LSTS L1
- Host: GitHub
- URL: https://github.com/andrew-johnson-4/l1pearls
- Owner: andrew-johnson-4
- License: mit
- Created: 2023-04-01T03:35:32.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2023-08-11T04:23:07.000Z (almost 2 years ago)
- Last Synced: 2023-08-11T12:17:03.172Z (almost 2 years ago)
- Topics: functional-programming, logic-programming, lsts, metaprogramming, programming-language-concepts, programming-language-theory, programming-languages, type-theory
- Homepage: https://andrew-johnson-4.github.io/lsts-tutorial/
- Size: 111 KB
- Stars: 2
- Watchers: 1
- Forks: 0
- Open Issues: 0