10 lines
81 B
Coq
10 lines
81 B
Coq
|
import vweb
|
||
|
|
||
|
struct App {
|
||
|
vweb.Context
|
||
|
}
|
||
|
|
||
|
fn main() {
|
||
|
vweb.run(&App{}, 8080)
|
||
|
}
|