source: C-semantics/test/io.c @ 24

Last change on this file since 24 was 20, checked in by campbell, 10 years ago

Add resumption monad based version of the executable semantics with simple I/O.

File size: 68 bytes
Line 
1int dosomething(int);
2
3int main(void) {
4  return dosomething(10);
5}
Note: See TracBrowser for help on using the repository browser.