Skip to content

Commit

Permalink
write about inductive definition of lists
Browse files Browse the repository at this point in the history
  • Loading branch information
byorgey committed Dec 12, 2024
1 parent 4020bd3 commit 93f817d
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 93f817d

Please sign in to comment.