lukaszlew

Nick                          S22
-------------------------  ------
sasha97                    3171.2
SweetDelight               2970.0
Fantleroy                  2944.2
gisel                      2942.5
olesia                     2936.1
cezary                     2884.8
tasuki                     2867.1
Deejay                     2857.5

lukaszlew

Nick                          S22     S21     S20     S19     S18     S17     S16     S15     S14     S13     S12     S11     S10      S9      S8      S7      S6      S5      S4      S3      S2      S1
-------------------------  ------  ------  ------  ------  ------  ------  ------  ------  ------  ------  ------  ------  ------  ------  ------  ------  ------  ------  ------  ------  ------  ------
sasha97                    3171.2  3171.2  3171.2  3171.2  3171.2  3171.2  3171.2  3171.2  3171.2  3163.9  3163.9  3163.9  3163.9  3163.9  3163.9  3163.9  3163.9  3163.9  3163.9  3163.9  3163.9  3163.9
SweetDelight               2970.0  2964.8  2934.1  2934.1  2934.1  2934.1  2934.1  2934.1  2934.1  2934.1  2934.1  2934.1  2934.1  2934.1  2934.1  2934.1  2934.1  2934.1  2934.1  2934.1  2934.1  2934.1
Fantleroy                  2944.2  2973.8  2982.2  2984.4  2986.7  2986.7  2986.7  2986.7  2986.7  2986.7  2986.7  2986.7  2986.7  2986.7  2986.7  2986.7  2986.7  2986.7  2986.7  2986.7  2986.7  2986.7
gisel         

lukaszlew

-- Based on: http://augustss.blogspot.com/2007/10/simpler-easier-in-recent-paper-simply.html
import Data.List (delete, union)
{- HLINT ignore "Eta reduce" -}

-- File mnemonics:
--   env = typing environment
--   vid = variable identifier in Bind or Var
--   br = binder variant (Lambda or Pi)
--   xyzTyp = type of xyz
--   body = body of Lambda or Pi abstraction

lukaszlew

#!/bin/sh
# find unused filename
i=999
for i in $(seq 999 -1 100); do
  new_file="${HOME}/go/problem-$i.png"
  if [[ -e $new_file ]]; then
    break
  fi
  file=$new_file
done

lukaszlew

HA 09:00 - 09:30 Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern
HA 09:30 - 10:00 Generic Programming of All Kinds
HA 10:30 - 11:00 Type Variables in Patterns
ML 10:45 - 11:10 Rust Distilled: An Expressive Tower of Languages
ML 11:10 - 11:35 Generating Mutually Recursive Definitions
HA 11:30 - 12:00 Suggesting Valid Hole Fits for Typed-Holes (Experience Report)

HA 14:30 - 15:00 Coherent Explicit Dictionary Application for Haskell
ML 15:30 - 16:10 Programming with Abstract Algebraic Effects

lukaszlew

{-# language TypeApplications #-}
{-# language TypeFamilies #-}
{-# language FlexibleInstances #-}
{-# language ScopedTypeVariables #-}

data Unit = U

class C (k :: Unit) where
  get :: Int