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: 2 months 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 (over 6 years ago)
• Default Branch: master
• Last Pushed: 2019-01-09T09:09:45.000Z (over 6 years ago)
• Last Synced: 2025-01-17T22:27:31.418Z (4 months ago)
• Topics: dependent-types, functional-programming, lisp, scheme, study-group
• Language: Racket
• Size: 1000 Bytes
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# LittleTyperStudyGroup

The Little Typer study group London