bucephalus.org

interaction site for bucephalus.org

No posts. Show all posts

No posts. Show all posts

Subscribe to: Posts (Atom)

About Me

bucephalus

View my complete profile

Followers

Blog Archive

▼ 2011 (1)
- ▼ January (1)
  - ElephantMark

► 2010 (3)
- ► March (1)
  - Change Logic
- ► February (2)
  - "Literal Mathematics"
  - PropLogic

► 2009 (5)
- ► November (1)
  - A fast SAT solver
- ► October (2)
  - My new communist card game
  - Half a tutorial on the Haskell number system
- ► September (2)
  - Haskell number system in one picture
  - Welcome