Skip to content

Instantly share code, notes, and snippets.

View ret's full-sized avatar

Reto Kramer ret

47 followers · 192 following
View GitHub Profile
@ret
ret / SketchSystems.spec
Created November 23, 2019 01:42 — forked from lynaghk/SketchSystems.spec
Egg Timer*
Egg Timer*
Stopped*
wind forward -> Done?
Ticking
wind forward -> Done?
wind backward -> Done?
tick -> Done?
Done?
@ret
ret / Consensus_Demo.thy
Created September 15, 2019 01:49 — forked from ept/Consensus_Demo.thy
theory
Consensus_Demo
imports
Network
begin
datatype 'val msg
= Propose 'val
| Accept 'val
@ret
ret / Dockerfile
Created July 26, 2018 21:29 — forked from creichert/Dockerfile
ghcjs-8.4 with stack.
FROM ubuntu:16.04
## ensure locale is set during build
ENV LANG C.UTF-8
## Haskell environment
RUN echo 'deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main' > \
/etc/apt/sources.list.d/ghc.list && \
apt-key adv --keyserver keyserver.ubuntu.com --recv-keys F6F88286 && \
apt-get update && \
@ret
ret / README.lhs
Created May 23, 2017 01:29 — forked from dysinger/README.lhs
Single-file executable literate Haskell with Stack
#!/usr/bin/env stack
> -- stack --resolver lts-6 --install-ghc runghc --package classy-prelude --package lens --package wreq
Blah Blah words about this single file executable README goes here.
> {-# LANGUAGE DeriveAnyClass #-}
> {-# LANGUAGE DeriveGeneric #-}
> {-# LANGUAGE NoImplicitPrelude #-}
> {-# LANGUAGE OverloadedStrings #-}