Logo
About
GitHubGitHub
  • Home
  • Download
  • Walkthrough
  • Reference Guide
    • Syntax
    • Top-Level Commands
    • Tactics
  • Examples
      • Properties of lists
      • Naturals are even or odd
      • Identity for addition
      • Less than or equal to
      • List map distributes over append
      • Subject Reduction
      • Type Uniqueness
      • ORBI Benchmarks
      • Cut Elimination
      • POPLMark Challenge
  • Publications
Question? Give us feedback →Edit this page
Reference Guide

Reference Guide

SyntaxTop-Level CommandsTactics
WalkthroughSyntax
The views and opinions expressed in this page are strictly those of the page author(s). The contents of this page have not been reviewed or approved by the University of Minnesota.