GitHub / dunhamsteve / SPLV20
edwinb's SPLV20 course notes, updated to run on current Idris2. (The updates build on work by @gallais.) The corresponding lectures are at https://www.youtube.com/playlist?list=PLmYPUe8PWHKqBRJfwBr4qga7WIs7r60Ql
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dunhamsteve%2FSPLV20
PURL: pkg:github/dunhamsteve/SPLV20
Fork of edwinb/SPLV20
Stars: 3
Forks: 0
Open issues: 0
License: None
Language: Idris
Size: 686 KB
Dependencies parsed at: Pending
Created at: over 3 years ago
Updated at: about 3 years ago
Pushed at: almost 3 years ago
Last synced at: over 2 years ago
Topics: idris2