search

disco-lang / disco

Functional teaching language for use in a discrete mathematics course
Other
164 stars 23 forks source link

Beginnings of a "gentle introduction to Disco" #406

Open byorgey opened 3 weeks ago