Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
    Axmill
    @Axmill
    so i'm writing a factorialnotation module
    based on a new notation
    for the multiplication of factorials
    it can freeze your computer
    if you give it too high of a number
    ill push it today
    Axmill
    @Axmill
    hi
    monoids
    are
    great
    Axmill
    @Axmill
    ...
    -- solve da reeman hypotenuse
    zeros :: String -> Bool
    
    zeros x = True || False
    zeros "is da reeman hypotenuse troo"
    Axmill
    @Axmill
    concept: (functional but not really Haskell-related)
    What if you had a language that was basically a one-typed lambda calculus with named functions, like this:
    id x . x
    so everything is an integer
    id 1 would be 1
    Axmill
    @Axmill
    cat x y = x ++ y
    Axmill
    @Axmill
    may the haskell be with you
    Axmill
    @Axmill
    -- Type level Peano
    {-# LANGUAGE GADTs #-}
    
    data Peano where
        Z :: Peano
        S :: Peano -> Peano