List All Pages
Please change this page according to your needs
Haskell is beautiful functional language.
If you are allowed to edit pages in this Site, simply click on edit button at the bottom of the page. This will open an editor with a toolbar pallette with options.
To create a link to a new page,...
约瑟夫—玛丽·雅卡尔（1752~1834）...
Please change this page according to your policy (configure first using Site Manager) and remove this note.
Who can join?
You can write here who can become a member of this site.
Join!
So you...
Monad is a well designed little universe, where any composition of actions never escape. Hence, by monad, we separate the concrete real problem into severy disjoint sub problems, and solve them...
I'm reading the following books:
"A Mathematical Introduction to Logic" , second edition, written by Herbert B. Enderton
"数理逻辑——基本原理与形式逻辑"， writen by Li Wei
I'm...
import Control.Monad
import Control.Monad.Writer
import Data.List
diagonal (x1,y1) (x2,y2) = x1 + y1 == x2 + y2
|| x1 - y1 == x2 - y2
nqueens n = execWriter $ f [1..n] 1...
You can test wiki syntax here.
You can test wiki syntax here.
You can test wiki syntax here.
You can test wiki syntax here.
[[[]]]
Darcs is a great distributed version control system written in Haskell. I setted up a darcs server this morning. I feel it necessary to write down something about the process of making it work, due...
Welcome page
Recent changes
List all pages
Page Tags
How to join this site?
Site members
tags
Members:
Moderators
Admins
AMIL stands for "A Mathematical Introduction to Logic", which is book guide me into the symbolic logic world. After several days of reading. I feel it necessary to figure out all the exercises and...
here come two interesting examples:
f, jf1, jf2 :: a -> Bool
f x = (jf1 x) && (jf2 x)
f = liftM2 (&&) jf1 jf2
f c b = (head c) * b : c
f = flip (join . ((:) .) . (. head)...
Welcome
Start
All Tags
All Pages
Contact
This is part of the quicksort algorithm in my text book.
template<class Type>
int Partition(datalist<Type>& list, const int low, const int high)
{
int...
This page lists some of useful linux commands.
lsof : lsof (LiSt Open Files) lists information about files that are open by the running processes
http_load : test http server
tcpdump : A tool for...
Currently
I'm a undergraduate student in Department of Computer Science, Nanjing University, China.
Research Interests
Functional Programming: Haskell
Logic
Parallel Programming
Working...
If this is your first site
Then there are some things you need to know:
You can configure all security and other settings online, using the Site Manager. When you invite other people to help build...
According to Wikipedia, the world largest wiki site:
A Wiki ([ˈwiː.kiː] <wee-kee> or [ˈwɪ.kiː] <wick-ey>) is a type of website that allows users to add, remove, or otherwise edit...
