jsoo1

{-# LANGUAGE NamedFieldPuns #-}
module Aoc2021Prob22 where

import Data.Bifunctor (bimap)
import Data.Maybe (fromJust)
import Text.Read (readMaybe)

data SpecLine = SpecLine
  { state :: State
  , cuboid :: Cuboid

jsoo1

Hillel Wayne’s - The Hard Part of Learning a Language as answered for Haskell by me

First of all, thank you for giving Haskell a try! Welcome to a lifelong pursuit of Learning Haskell.

Note that this is colored by my experience. I do not use Windows. I do not use {,neo}vim.

I want to answer this survey to prevent another Tech Thoughtleader from misrepresenting Haskell. Haskell is hard and different enough

jsoo1

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE DerivingStrategies #-}

module ApplyingFunctions where

import System.IO
import Data.Foldable
import Control.Applicative
import Control.Monad

jsoo1

module Apply2

||| Heterogenious lists.
|||
|||```idris example
|||
||| hl : Hlist [Nat, (Double, Char), 1 = 1]
||| hl = [1, (3.0, 'a'), Refl]
|||```
data Hlist : List Type -> Type where

jsoo1

{-# LANGUAGE DeriveFunctor #-}

module Main where

import Prelude hiding (map)

main :: IO ()
main = undefined

-- f is the name of a definition

jsoo1

module Combinator2

%default total


data LTE : Ord a => a -> a -> Type where
  XLTY : Ord a => (x : a) -> (y : a) -> { auto x_lt_y : LT = x `compare` y } -> x `LTE` y
  XEQY : Ord a => (x : a) -> (y : a) -> { auto x_eq_y : EQ = x `compare` y } -> x `LTE` y

lteExample : Combinator2.LTE 0 1