Introducing PeaCoq - COQ EN STOCK
What is PeaCoq? Over the past year, I have developed a Coq frontend called PeaCoq (not to be mistaken with Yves Bertot’s Pcoq). If you wish to play with it before or while reading this article, I made an online version available here. Note that it will reset after 15 minutes of inactivity, and that it might go down any time! There have been several attempts at improving user interfaces for proof a
hoodle - free pen note taking program
Hoodle is a pen notetaking program developed in Haskell using gtk2hs (Haskell binding to gtk library). This project started as making a clone of xournal, a notetaking program developed in C. Now hoodle works quite equivalent as xournal and has more unique functionalities. Haskell is a much safer and higher-level language than C while still maintaining good performance. We can develop hoodle much m
WxHaskell
The document discusses WxHaskell, which allows creating graphical user interfaces (GUIs) in Haskell using the wxWidgets library. It provides examples of creating basic windows and adding buttons, text boxes, and other widgets to the windows. It also discusses handling events from buttons by linking them to functions. The document recommends WxHaskell as a way to understand Haskell by creating GUI
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
hunit-gui
lui
Buster 2.2 - Application Orchestration redux | Hieroglyphics
WxFruit - HaskellWiki
http://www.dcs.gla.ac.uk/fp/software/haggis/
