Skip to content

Commit 7029745

Browse files
banacornbanacorn
committed
[ fix ] Another attempt to fix issue #250 
1 parent 0c52685 commit 7029745

File tree

8 files changed

+27
-504
lines changed

8 files changed

+27
-504
lines changed

‎lib/js/src/Agda.bs.js‎

Lines changed: 1 addition & 33 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎lib/js/src/Goals.bs.js‎

Lines changed: 14 additions & 108 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎lib/js/src/State/State__Response.bs.js‎

Lines changed: 0 additions & 72 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎lib/js/test/tests/Test__Goals.bs.js‎

Lines changed: 2 additions & 20 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)