mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-01 09:49:24 +03:00
9 lines
133 B
C
9 lines
133 B
C
#ifndef __IDRIS_TERM_H
|
|
#define __IDRIS_TERM_H
|
|
|
|
void idris2_setupTerm();
|
|
int idris2_getTermCols();
|
|
int idris2_getTermLines();
|
|
|
|
#endif
|