ayushnoori commited on
Commit
b0bd0c0
·
1 Parent(s): 019dd26

Fix README

Browse files
Files changed (1) hide show
  1. README.md +0 -2
README.md CHANGED
@@ -1,4 +1,3 @@
1
- <!--
2
  ---
3
  title: Program Synthesis
4
  emoji: 🤗
@@ -9,7 +8,6 @@ sdk_version: 1.19.0
9
  app_file: app.py
10
  pinned: false
11
  ---
12
- -->
13
 
14
  # Bottom-Up Enumerative Program Synthesis
15
 
 
 
1
  ---
2
  title: Program Synthesis
3
  emoji: 🤗
 
8
  app_file: app.py
9
  pinned: false
10
  ---
 
11
 
12
  # Bottom-Up Enumerative Program Synthesis
13