pysaumont

public class List<T> implements Foldable<T>, Appendable<T, List<T>> {

  private final java.util.List<T> delegate;

  public List(java.util.List<T> delegate) {
    this.delegate = delegate;
  }

  public int size() {
    return this.delegate.size();

pysaumont

module Countdown where

--Expressions
-----------
native      getCPUTime java.lang.System.currentTimeMillis :: () -> IO Long
pure native formatLocale java.lang.String.format :: Maybe JLocale -> String -> Float -> String
data JLocale = pure native java.util.Locale


format s f = formatLocale Nothing s f