Scott Fleischman
Results
2
repositories owned by
Scott Fleischman
agda-from-nothing
81
Stars
6
Forks
Watchers
A workshop on learning Agda with minimal prerequisites.
greek-grammar
48
Stars
7
Forks
Watchers
Modeling Ancient Greek Grammar