anfelor

module binomial-heaps-okasaki

import std/num/int32

public fun raise(s) { throw-exn(Exception(s, ExnError)) }

alias elem = int

public type tree {
    Node(root : elem, c : list<tree>)

anfelor

import 'package:flutter/material.dart';

void main() {
  return runApp(MyApp());
}

class MyApp extends StatelessWidget {
  @override
  Widget build(BuildContext context) {
    return MaterialApp(

anfelor

import 'package:flutter/material.dart';

void main() {
  return runApp(MyApp());
}

class MyApp extends StatelessWidget {
  @override
  Widget build(BuildContext context) {
    return MaterialApp(

anfelor

module Algebra.Dioid.Unit where

open import Algebra.Dioid using (Dioid; zero; one; _+_; _*_)
import Algebra.Dioid

data Unit : Set where
  unit : Unit

data _≡_ : (x y : Unit) -> Set where
  reflexivity  : ∀ {x     : Unit} ->                   x ≡ x