https://github.com/palutz/littletyperstudygroup

The Little Typer study group London
https://github.com/palutz/littletyperstudygroup

dependent-types functional-programming lisp scheme study-group

Last synced: about 12 hours ago
JSON representation

The Little Typer study group London

• Host: GitHub
• URL: https://github.com/palutz/littletyperstudygroup
• Owner: palutz
• Created: 2018-11-25T01:08:08.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2019-01-09T09:09:45.000Z (almost 6 years ago)
• Last Synced: 2023-03-24T08:32:05.561Z (over 1 year ago)
• Topics: dependent-types, functional-programming, lisp, scheme, study-group
• Language: Racket
• Size: 1000 Bytes
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project