Skip to content

Commit

Permalink
Merge pull request #87 from kit-ty-kate/merge-impls
Browse files Browse the repository at this point in the history
Merge the different implementations into a common folder using cppo
  • Loading branch information
kit-ty-kate authored Aug 2, 2020
2 parents 4a77352 + ed14753 commit 17a4c18
Show file tree
Hide file tree
Showing 29 changed files with 53 additions and 3,407 deletions.
122 changes: 0 additions & 122 deletions 408/ast_convenience.ml

This file was deleted.

110 changes: 0 additions & 110 deletions 408/ast_convenience.mli

This file was deleted.

Loading

0 comments on commit 17a4c18

Please sign in to comment.