Skip to content
View thepiwo's full-sized avatar
🏎️
spec-driving in non-gh repos
🏎️
spec-driving in non-gh repos
  • Munich, Germany

Sponsoring

@pimterry
@PhilippC
@ferdium
@pyrou

Organizations

@BreakOutEvent

Block or report thepiwo

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
thepiwo/README.md

😍  Full-Stack Engineering

λ Functional Programming

🐳  Blockchain Development

🏎️  Spec-Driver

function to_str : int * list(int * string) => string to_str((_, [(_, s1)])) = s1 to_str((_, [(_, s1), (_, s2)])) = String.concat(s1, s2) to_str((x, _)) = Int.to_str(x) entrypoint fizz_buzz(to : int) : list(string) = let fizz_or_buzz = (x) => [ (m, s) | (m, s) <- [(3, "Fizz"), (5, "Buzz")], if(x mod m == 0) ] [ to_str((x, fizz_or_buzz(x))) | x <- [1..to] ]

Pinned Loading

  1. open-lifelogging open-lifelogging Public

    Backend server for the open-lifelogging android app and webclient

    Scala 4

  2. ae-sophia-functions ae-sophia-functions Public

    1

  3. BreakOutEvent/breakout-payment BreakOutEvent/breakout-payment Public

    Payment script for breakout accounting with the @fidor api

    Scala 1

  4. BreakOutEvent/breakout-backend BreakOutEvent/breakout-backend Public

    The backend for BreakOut

    Kotlin 12

  5. open-lifelogging-android open-lifelogging-android Public

    Logging client for open-lifelogging on android

    Kotlin