Skip to content

Commit

Permalink
Add deflate example dirs to build sequence
Browse files Browse the repository at this point in the history
  • Loading branch information
@myreen
myreen committed Jun 6, 2022
1 parent f1a75db commit bc575b6
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions developers/build-sequence
View file
Expand Up @@ -113,6 +113,9 @@ examples/sat_encodings
examples/sat_encodings/case_studies
examples/sat_encodings/translation
examples/sat_encodings/translation/compilation
examples/deflate
examples/deflate/translation
examples/deflate/translation/compilation

translator/okasaki-examples
translator/other-examples
Expand Down

0 comments on commit bc575b6

Please sign in to comment.