All Git Users → scott-fleischman

2 open source projects by scott-fleischman

[ Open user page on Github ]

1. Greek Grammar

Modeling Ancient Greek Grammar

✭ 38

haskell grammar

2. agda-from-nothing

A workshop on learning Agda with minimal prerequisites.

✭ 74

Agda Makefile agda learning-agda

1-2 of 2 user projects