Skip to content

Commit

Permalink
Changing Duper interface to make it easier for Auto to call Duper
Browse files Browse the repository at this point in the history
  • Loading branch information
@JOSHCLUNE
JOSHCLUNE committed Nov 3, 2023
1 parent 33d88af commit 4e92a8f
Show file tree
Hide file tree
Showing 7 changed files with 556 additions and 798 deletions.
230 changes: 0 additions & 230 deletions Duper.lean
View file

This file was deleted.

Loading

0 comments on commit 4e92a8f

Please sign in to comment.