New Posts  All Forums:Forum Nav:

[WIP] Haskell Basics - Page 2

post #11 of 12
I hope I am not interrupting the lessons! Hey really cool idea, I personally have had to pick up Haskell / HUGS98 for a comp Discrete Mathematics course this semester.

So far, I feel somewhat in the dark.

I have a project idea I was going to publicly work on for creating proofs in Haskell / STDM.lhs format via an application since some proofs are pretty elaborate and the formatting blatantly sucks.
Snowdevil
(16 items)
 
ASUS G750JM
(9 items)
 
 
CPUMotherboardGraphicsGraphics
[i7 4790K @ 4.4 GHz (1.186v)] [Asus Sabertooth Z97 Mark S] [nVidia Geforce GTX 1080] [nVidia Geforce GTX 1080] 
RAMHard DriveCoolingOS
[G.Skill 32GB DDR3 2133 MHz] [Crucial MX100 256GB] [Phanteks PH-TC12DX] [Win 10.1 Pro] 
MonitorMonitorKeyboardPower
[LG 29UM65 (2560x1080)] [QNIX Evo II LED (2560x1440)] [WASD v2 Tenkeyless] [NZXT Hale90 v2 ] 
CaseMouseMouse PadAudio
[ThermalTake GT10 Snow Edition] [Razer Mamba - Chroma] [Razer Kabuto] [Razer Man O' War] 
CPUMotherboardGraphicsRAM
i7 4770HQ Intel HM87 Express Chipset Geforce GTX 860M 8GB DDR3L 1600 MHz 
Hard DriveOptical DriveCoolingOS
Samsung SSD EVO DVD-RW Stock Windows 8.1 
Monitor
1920x1080 TN 
  hide details  
Reply
Snowdevil
(16 items)
 
ASUS G750JM
(9 items)
 
 
CPUMotherboardGraphicsGraphics
[i7 4790K @ 4.4 GHz (1.186v)] [Asus Sabertooth Z97 Mark S] [nVidia Geforce GTX 1080] [nVidia Geforce GTX 1080] 
RAMHard DriveCoolingOS
[G.Skill 32GB DDR3 2133 MHz] [Crucial MX100 256GB] [Phanteks PH-TC12DX] [Win 10.1 Pro] 
MonitorMonitorKeyboardPower
[LG 29UM65 (2560x1080)] [QNIX Evo II LED (2560x1440)] [WASD v2 Tenkeyless] [NZXT Hale90 v2 ] 
CaseMouseMouse PadAudio
[ThermalTake GT10 Snow Edition] [Razer Mamba - Chroma] [Razer Kabuto] [Razer Man O' War] 
CPUMotherboardGraphicsRAM
i7 4770HQ Intel HM87 Express Chipset Geforce GTX 860M 8GB DDR3L 1600 MHz 
Hard DriveOptical DriveCoolingOS
Samsung SSD EVO DVD-RW Stock Windows 8.1 
Monitor
1920x1080 TN 
  hide details  
Reply
post #12 of 12
Thread Starter 
You haven't; there are only going to be ten lessons for basics.

Hopefully what I have to offer will help!
 
Big Green
(27 items)
 
Vanilla Cherries
(21 items)
 
CPUMotherboardGraphicsGraphics
i5 3570k Gigabyte UP7 EVGA GTX 780 EVGA GTX 780 
RAMHard DriveHard DriveCooling
Corsair Dominator GTs Samsung 840 512GB Samsung 840 256GB Watercooling 
OSPowerCaseOther
Windows 7 Ultimate SeaSonic SS-860XP2 Little Devil PC-V7 White Promethean Mutations sleeved cables 
CPUMotherboardGraphicsRAM
i7 3820 Gigabyte G1.Assassin EVGA GTX680 4GB 16GB (8 x 2GB) Mushkin Enhanced BLackline 
Hard DriveHard DriveHard DriveOptical Drive
Samsung 830 128GB Samsung 830 256GB Plextor M5 512GB N/A 
CoolingCoolingCoolingCooling
XSPC Raystorm EK FC680 Coppter + Acetal XSPC EX360 XSPC RX240 
CoolingCoolingCoolingCooling
XSPC Dual Bay D5 res D5 XSPC Green Coolermaster Sickle Flows 
OSMonitorKeyboardPower
Windows 7 Ultimate Dell U23.5" Ducky Shine II TKL Seasonic 660w 
CaseMouseMouse PadAudio
Bitfenix Shinobi XL Mionix NAOS 5000 Mionix Propus Sennhesier HD280 
OtherOther
MDPC green + black sleeving NZXT White LED sleeve  
CPUMotherboardGraphicsRAM
i7 2500k ASUS Maximus IV Extreme Sapphire 7970 Dual X (11197-01-40G) 16GB Corsair Dominators 
Hard DriveHard DriveHard DriveCooling
Plextor M3 Corsair Force GT 120GB Plextor M3 EK Supreme HF Copper + Acetal 
CoolingCoolingCoolingCooling
Dual PMP400s + EK Dual DDC V2 EK Dominator X4 EK FC7970 Copper + Acetal XSPC EX120 
CoolingCoolingCoolingCooling
XSPC EX240x2 Yate Loon Medium Speeds (painted) Monsoon compression fittings XSPC white tubes 
CoolingOSPowerCase
FrozenQ Helix Bay Res  Windows 7 Ultimate NZXT HALE90-1000-M NZXT Phantom  
Audio
Creative Sound Blaster Z 
  hide details  
Reply
 
Big Green
(27 items)
 
Vanilla Cherries
(21 items)
 
CPUMotherboardGraphicsGraphics
i5 3570k Gigabyte UP7 EVGA GTX 780 EVGA GTX 780 
RAMHard DriveHard DriveCooling
Corsair Dominator GTs Samsung 840 512GB Samsung 840 256GB Watercooling 
OSPowerCaseOther
Windows 7 Ultimate SeaSonic SS-860XP2 Little Devil PC-V7 White Promethean Mutations sleeved cables 
CPUMotherboardGraphicsRAM
i7 3820 Gigabyte G1.Assassin EVGA GTX680 4GB 16GB (8 x 2GB) Mushkin Enhanced BLackline 
Hard DriveHard DriveHard DriveOptical Drive
Samsung 830 128GB Samsung 830 256GB Plextor M5 512GB N/A 
CoolingCoolingCoolingCooling
XSPC Raystorm EK FC680 Coppter + Acetal XSPC EX360 XSPC RX240 
CoolingCoolingCoolingCooling
XSPC Dual Bay D5 res D5 XSPC Green Coolermaster Sickle Flows 
OSMonitorKeyboardPower
Windows 7 Ultimate Dell U23.5" Ducky Shine II TKL Seasonic 660w 
CaseMouseMouse PadAudio
Bitfenix Shinobi XL Mionix NAOS 5000 Mionix Propus Sennhesier HD280 
OtherOther
MDPC green + black sleeving NZXT White LED sleeve  
CPUMotherboardGraphicsRAM
i7 2500k ASUS Maximus IV Extreme Sapphire 7970 Dual X (11197-01-40G) 16GB Corsair Dominators 
Hard DriveHard DriveHard DriveCooling
Plextor M3 Corsair Force GT 120GB Plextor M3 EK Supreme HF Copper + Acetal 
CoolingCoolingCoolingCooling
Dual PMP400s + EK Dual DDC V2 EK Dominator X4 EK FC7970 Copper + Acetal XSPC EX120 
CoolingCoolingCoolingCooling
XSPC EX240x2 Yate Loon Medium Speeds (painted) Monsoon compression fittings XSPC white tubes 
CoolingOSPowerCase
FrozenQ Helix Bay Res  Windows 7 Ultimate NZXT HALE90-1000-M NZXT Phantom  
Audio
Creative Sound Blaster Z 
  hide details  
Reply
New Posts  All Forums:Forum Nav:
  Return Home
  Back to Forum: Coding and Programming