c2ats - An utility to generate ATS interface from C code - Metasepi
Table of contents Motivation The c2ats utility How to use it? Future plan Motivation Today, we are choosing the Bohai iteration which means rewriting NetBSD kernel using ATS language. On the iteration, we should choose some C language function and rewrite it little by little. But in many cases, the function depends on many C language interfaces, which are needed to be imported into ATS code. After
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - vmchale/hs-ats: Home of the fast-arithmetic library for number theory in ATS and Haskell.
