Skip to content

Latest commit

 

History

History

barc

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 
 
 

BARC

BAnko Rule Checker

Build with

$ stack install

Run with

$ barc definition.barc > check.c

or

$ barc --gotta-go-fast definition.barc > check.fut

for Futhark output.