這裏使用賦值運算符是一個代碼的行爲相同: #include <stdio.h>
#include <math.h>
void main()
{
double pi = 3.1415926535;
int a = 1;
int i;
for (i=0; i < 3; i++)
if (a = cos(pi * i/2))
我試圖執行以下操作: headEqual : DecEq a => (x : a) -> (y : a) -> Maybe (Dec (x = y))
headEqual x y = case decEq x y of
Yes Refl => Just (Yes Refl)
No contra => Nothing
vectEqual : DecEq a
我想比較兩個創建的對象。 在其他一些帖子中,該類需要繼承IEquatable<T>接口,然後覆蓋Equals函數。當我比較類的實例,與cellStyle1.Equals(cellStyle2),它總是返回false ... 我試過了,它似乎並沒有工作。以下是我的嘗試: class Cell_Style: IEquatable<Cell_Style>
{
private Color ce