search

disco-lang / disco

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

Fix warnings #404

Open byorgey opened 1 month ago

byorgey commented 1 month ago