support/testidr.c · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on 7afa310 help sign in

Idris-dev/support/testidr.c

6 lines 106 B history raw

1#include "testidr.h"

2#include <stdio.h>

4void testIdr() {

5 printf("Hello Idris support library!\n");

6}