hirrolot

let discard _a b = b

let rec pp lvl = function
  | `Lam f -> "(λ" ^ pp (lvl + 1) (f (`Go lvl)) ^ ")"
  | `Pi (a, f) -> "(Π" ^ pp lvl a ^ "." ^ pp (lvl + 1) (f (`Go lvl)) ^ ")"
  | `Appl (m, n) -> "(" ^ pp lvl m ^ " " ^ pp lvl n ^ ")"
  | `Ann (m, a) -> "(" ^ pp lvl m ^ " : " ^ pp lvl a ^ ")"
  | `Go x -> string_of_int x
  | `Star -> "*"
  | `Box -> "☐"

aklehm

import 'package:flutter/material.dart';
import 'package:flutter/rendering.dart';

/// Small utility to measure a widget before actually putting it on screen.
///
/// This can be helpful e.g. for positioning context menus based on the size they will take up.
///
/// NOTE: Use sparingly, since this takes a complete layout and sizing pass for the subtree you
/// want to measure.
///

nazariyv

Two pointers: one input, opposite ends

```python3
def fn(arr):
    left = ans = 0
    right = len(arr) - 1

    while left < right:
        # do some logic here with left and right
        if CONDITION:

hirrolot

type term =
  | Lam of (term -> term)
  | Pi of term * (term -> term)
  | Appl of term * term
  | Ann of term * term
  | FreeVar of int
  | Star
  | Box

let unfurl lvl f = f (FreeVar lvl)

Roaa94

import 'package:flutter/material.dart';
import 'package:flutter_riverpod/flutter_riverpod.dart';
import 'package:dio/dio.dart';

// Disclaimer: This uses the "The Movie Database API (TMDB)"
// https://developers.themoviedb.org/3/getting-started
// With this endpoint:
// https://developers.themoviedb.org/3/people/get-popular-people

/// The FutureProvider that does the fetching of the paginated list of people

alexanderameye

using System.Collections.Generic;
using System.IO;
using UnityEditor;
using UnityEditor.Overlays;
using UnityEditor.SceneManagement;
using UnityEditor.Toolbars;
using UnityEngine;
using UnityEngine.SceneManagement;
using UnityEngine.UIElements;

PathogenDavid

using System;
using System.Reflection;
using System.Runtime.CompilerServices;
using System.Runtime.InteropServices;

C local = null;
if (local != null && local.Prop)
{
    Console.WriteLine(local.ToString()); // Null ref on this line
}

Roaa94

import 'package:flutter/material.dart';

class TabBarDemo extends StatelessWidget {
  @override
  Widget build(BuildContext context) {
    return MaterialApp(
      home: DefaultTabController(
        length: 2,
        child: Scaffold(
          appBar: AppBar(

ecker00

// This code is licensed under the terms of the MIT license
using UnityEngine;

public class SunPosition : MonoBehaviour
{
    [SerializeField, Range(-90f, 90f)]
    public float latitude = 69.6546f;
    [SerializeField, Range(-180f, 180f)]
    public float longitude = 18.9637f;
    

pdarragh

Approachable PL Papers for Undergrads

On September 28, 2021, I asked on Twitter:

PL Twitter:

you get to recommend one published PL paper for an undergrad to read with oversight by someone experienced. the paper should be interesting, approachable, and (mostly) self-contained.

what paper do you recommend?