GitHub / teach-types / www

MSc Course Types for Programs and Proofs (Chalmers DAT350 / GU DIT235)

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/teach-types%2Fwww
PURL: pkg:github/teach-types/www

Stars: 1
Forks: 1
Open issues: 0

License: None
Language: CSS
Size: 6.84 KB
Dependencies parsed at: Pending

Created at: 12 days ago
Updated at: 10 days ago
Pushed at: 10 days ago
Last synced at: 10 days ago

Topics: agda, dependent-types, programming-languages, semantic

Loading...