Skip to content

Commit

Permalink
refactoring encoding of inductive type and datacon to prepare for a r…
Browse files Browse the repository at this point in the history 
…evised check
  • Loading branch information
@nikswamy
nikswamy committed Apr 19, 2024
1 parent 5c011d5 commit 35380d3
Show file tree
Hide file tree
Showing 2 changed files with 2,542 additions and 2,423 deletions.
Loading

0 comments on commit 35380d3

Please sign in to comment.